Pigeon Hole Principle (PHP) implements functions building CNF formulas corresponding to the pigeon principle. Uses CNFLIB to encode these and GRAPHLIB to interact with the bipartite graph.
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.