gentoo.mahdi.cz
sci-mathematics
:cadical
Simplified Satisfiability Solver
http://fmv.jku.at/cadical/
cadical-1.9.5
MIT
download
~amd64 ~x86
gentoo
cadical-1.9.4
MIT
download
~amd64 ~x86
gentoo