dockerfile.run – minisat

minisat

Fast and lightweight SAT solver

Debian

RUN apt-get update && \
    apt-get install -y minisat

Ubuntu

RUN apt-get update && \
    apt-get install -y minisat

Kali Linux

RUN apt-get update && \
    apt-get install -y minisat

Fedora

RUN dnf install -y minisat

Raspbian

RUN apt-get update && \
    apt-get install -y minisat

click the source code to copy install minisat on any operating system with command-not-found.com