CREDITS.org
LICENSE
MANIFEST.in
Makefile
PyPI.md
README.org
requirements.txt
setup.py
CNFgen.egg-info/PKG-INFO
CNFgen.egg-info/SOURCES.txt
CNFgen.egg-info/dependency_links.txt
CNFgen.egg-info/entry_points.txt
CNFgen.egg-info/requires.txt
CNFgen.egg-info/top_level.txt
cnfgen/__init__.py
cnfgen/cnf.py
cnfgen/graphs.py
cnfgen/info.py
cnfgen/version.py
cnfgen/clihelpers/__init__.py
cnfgen/clihelpers/counting_helpers.py
cnfgen/clihelpers/cpls_helpers.py
cnfgen/clihelpers/dimacs_helpers.py
cnfgen/clihelpers/formula_helpers.py
cnfgen/clihelpers/graph_helpers.py
cnfgen/clihelpers/ordering_helpers.py
cnfgen/clihelpers/pebbling_helpers.py
cnfgen/clihelpers/php_helpers.py
cnfgen/clihelpers/pitfall_helpers.py
cnfgen/clihelpers/simple_helpers.py
cnfgen/clihelpers/transformation_helpers.py
cnfgen/clitools/__init__.py
cnfgen/clitools/cmdline.py
cnfgen/clitools/cnfgen.py
cnfgen/clitools/cnfshuffle.py
cnfgen/clitools/graph_cmdline.py
cnfgen/clitools/kthlist2pebbling.py
cnfgen/clitools/msg.py
cnfgen/families/__init__.py
cnfgen/families/cliquecoloring.py
cnfgen/families/coloring.py
cnfgen/families/counting.py
cnfgen/families/cpls.py
cnfgen/families/dominatingset.py
cnfgen/families/graphisomorphism.py
cnfgen/families/ordering.py
cnfgen/families/pebbling.py
cnfgen/families/pigeonhole.py
cnfgen/families/pitfall.py
cnfgen/families/ramsey.py
cnfgen/families/randomformulas.py
cnfgen/families/subgraph.py
cnfgen/families/subsetcardinality.py
cnfgen/families/tseitin.py
cnfgen/transformations/__init__.py
cnfgen/transformations/shuffle.py
cnfgen/transformations/substitutions.py
cnfgen/utils/__init__.py
cnfgen/utils/parsedimacs.py
cnfgen/utils/solver.py