cadical 06w

CaDiCaL is a simplified Satisfiability solver. The goal of the development of CaDiCaL is to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.




For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS

Last modified: Sat Jul 7 17:18:34 MDT 2018 by Jerry James