gentoo-overlay/metadata/cache/sci-mathematics/minisat-2.2.0-r3

sys-libs/zlib
sys-libs/zlib
0
http://minisat.se/downloads/minisat-2.2.0.tar.gz doc? ( http://minisat.se/downloads/MiniSat.pdf )

http://minisat.se/Main.html
MIT
Small yet efficient SAT solver with reference paper.
~amd64 ~x86 ~amd64-linux ~x86-linux
eutils multilib toolchain-funcs user
debug doc extended-solver



2

compile install prepare setup