gentoo.mahdi.cz
sci-mathematics
:picosat
SAT solver with proof and core support
http://fmv.jku.at/picosat/
picosat-965
MIT
download
amd64 ~x86
gentoo