libcnf.h File Reference

Header file for the libcnf. More...

#include "clause.h"
#include "variableset.h"
#include "formula.h"
+ Include dependency graph for libcnf.h:

Go to the source code of this file.

Namespaces

namespace  cnf
 

Contains function to manipulate easily CNF formulas.



Detailed Description

Header file for the libcnf.

Author:
Léo Perrin
Date:
Time-stamp: <2012-05-09 21:03:52 leo>

Definition in file libcnf.h.

 All Classes Namespaces Files Functions Variables Defines