00001 00009 #ifndef _LIBCNF_H_ 00010 #define _LIBCNF_H_ 00011 00012 #include "clause.h" 00013 #include "variableset.h" 00014 #include "formula.h" 00015 00016 00017 00027 namespace cnf 00028 { 00029 } 00030 00031 #endif