cryptominisat4

SAT solver

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