Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

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