cnf::Clause | This class is used to manipulate CNF clauses |
cnf::Formula | An instance implements a complete CNF formula using several Clause instances |
cnf::VariableSet | Represents a mathematical variable set; is used to associate a unique code to a given number of literals described intuitively by 2 or 3 indices |