#include <vector>
Go to the source code of this file.
Classes | |
class | 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. More... | |
Namespaces | |
namespace | cnf |
Contains function to manipulate easily CNF formulas. |
Definition in file variableset.h.