gentoo.mahdi.cz
sci-mathematics
:minisat
Small yet efficient SAT solver with reference paper
minisat-2.2.1-r1
MIT
download
~amd64 ~x86
gentoo