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.