Contains function to manipulate easily CNF formulas. More...
Classes | |
class | Clause |
This class is used to manipulate CNF clauses. More... | |
class | Formula |
An instance implements a complete CNF formula using several Clause instances. More... | |
class | 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. More... |
Contains function to manipulate easily CNF formulas.
The aim of this library is to provide an easy to use interface for CNF formulas to be used in coordination with the minisat program.