Crate varisat_formula

Basic formula data types used by the Varisat SAT solver.

Re-exports

pub use cnf::CnfFormula;

pub use cnf::ExtendFormula;

pub use lit::Lit;

pub use lit::Var;

Modules

cnf	CNF formulas.
lit	Literals and variables.
test

Macros

cnf	Shortcut for tests
cnf_formula	Shortcut for tests
lit	Shortcut for tests
lits	Shortcut for tests
var	Shortcut for tests
vars	Shortcut for tests