gentoo.mahdi.cz
dev-haskell
:minisat
A Haskell bundle of the Minisat SAT solver
https://hackage.haskell.org/package/minisat
minisat-0.1.3
BSD
download
~amd64
haskell