Crate varisat

Varisat is a CDCL based SAT solver written in rust. Given a boolean formula in conjunctive normal form, it either finds a variable assignment that makes the formula true or finds a proof that this is impossible.

In addition to this API documentation, Varisat comes with a user manual.

Modules

checker	Check unsatisfiability proofs.
cnf	CNF formulas.
dimacs	DIMACS CNF parsing and writing.
lit	Literals and variables.
solver	Boolean satisfiability solver.