cnf Namespace Reference

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

Detailed Description

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.

 All Classes Namespaces Files Functions Variables Defines