CNFLIB is a library of classes allowing an easy manipulation of virtual CNF formulas in coordination with the minisat2 program.
This documentation was generated using doxygen (as indicated in the footer), a powerfull tool generating a javadoc-style documentation for project written in C, C++, Java and other languages.