Install

All systems

curl cmd.cat/cryptominisat4_simple.sh

Fedora

dnf install cryptominisat4

Dockerfile

dockerfile.run/cryptominisat4_simple