[−][src]Module varisat::cnf
CNF formulas.
Structs
CnfFormula | A formula in conjunctive normal form (CNF). |
NewVarIter | Iterator over new variables or literals. |
Traits
ExtendFormula | Extend a formula with new variables and clauses. |
UniformTuple | Helper trait to initialize multiple variables of the same type. |