Header file for the libcnf. More...
#include "clause.h"
#include "variableset.h"
#include "formula.h"
Go to the source code of this file.
Contains function to manipulate easily CNF formulas.
Header file for the libcnf.
Definition in file libcnf.h.