dockerfile.run – cryptominisat5

cryptominisat5_simple

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

Arch Linux

RUN pacman -S --noconfirm cryptominisat5

Fedora

RUN dnf install -y cryptominisat

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