Version: sci-mathematics/minisat 2.2.0_p20130925:0

Depends On: sys-libs/zlib

USE Flags:debug doc

Version: sci-mathematics/minisat 2.2.0-r4:0

Depends On: sys-libs/zlib

USE Flags:debug doc extended-solver

2.2.0-r42.2.0_p20130925
"~amd64 ~x86 ~amd64-linux ~x86-linux""~amd64 ~x86 ~amd64-linux ~x86-linux"
comments powered by Disqus