Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
cnf::ClauseThis class is used to manipulate CNF clauses
cnf::FormulaAn instance implements a complete CNF formula using several Clause instances
cnf::VariableSetRepresents a mathematical variable set; is used to associate a unique code to a given number of literals described intuitively by 2 or 3 indices
 All Classes Namespaces Files Functions Variables Defines