Package cadical

Simplified SAT solver

http://fmv.jku.at/cadical/

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.

General Commands
Command Description
cadical manual page for cadical 1.0.0
mobical manual page for mobical 1.0.0