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.