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: 1.5.2

General Commands

cadical manual page for cadical 1.5.2
mobical manual page for mobical 1.5.2