Install

All systems

curl cmd.cat/cryptominisat5_simple.sh

Debian

apt-get install cryptominisat

Ubuntu

apt-get install cryptominisat

Arch Linux

pacman -S cryptominisat5

Fedora

dnf install cryptominisat

Windows (WSL2)

sudo apt-get update sudo apt-get install cryptominisat

OS X

brew install cryptominisat

Dockerfile

dockerfile.run/cryptominisat5_simple