Minisat+ Download for Linux (deb, amd64, i386)