[][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.