dockerfile.run – cryptominisat

cryptominisat

SAT solver command line interface

Debian

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

Ubuntu

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

Fedora

RUN dnf install -y cryptominisat

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