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