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.
|cadical||manual page for cadical 1.5.2|
|mobical||manual page for mobical 1.5.2|