Simplified SAT solver
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.
Version: 1.9.5
General Commands | |
| cadical | Simplified SAT solver |
| mobical | Model Based Tester for CaDiCaL |