cryptominisat4_simple

SAT solver

Fedora
RUN dnf install -y cryptominisat4
click the source code to copy install cryptominisat4_simple on any operating system with command-not-found.com