Install

All systems

curl cmd.cat/cryptominisat.sh

Debian

apt-get install cryptominisat

Ubuntu

apt-get install cryptominisat

Fedora

dnf install cryptominisat

Windows (WSL2)

sudo apt-get update sudo apt-get install cryptominisat

OS X

brew install cryptominisat

Dockerfile

dockerfile.run/cryptominisat