Your company here — click to reach over 10,000 unique daily visitors

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.9.5

General Commands

cadical Simplified SAT solver
mobical Model Based Tester for CaDiCaL