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
cnfformula/__init__.py
cnfformula/cnf.py
cnfformula/graphs.py
cnfformula/info.py
cnfformula/version.py
cnfformula/families/__init__.py
cnfformula/families/cliquecoloring.py
cnfformula/families/coloring.py
cnfformula/families/counting.py
cnfformula/families/cpls.py
cnfformula/families/dominatingset.py
cnfformula/families/graphisomorphism.py
cnfformula/families/ordering.py
cnfformula/families/pebbling.py
cnfformula/families/pigeonhole.py
cnfformula/families/pitfall.py
cnfformula/families/ramsey.py
cnfformula/families/randomformulas.py
cnfformula/families/subgraph.py
cnfformula/families/subsetcardinality.py
cnfformula/families/tseitin.py
cnfformula/transformations/__init__.py
cnfformula/transformations/shuffle.py
cnfformula/transformations/substitutions.py
cnfformula/utils/__init__.py
cnfformula/utils/parsedimacs.py
cnfformula/utils/solver.py
cnfgen/__init__.py
cnfgen/cmdline.py
cnfgen/cnfshuffle.py
cnfgen/counting_helpers.py
cnfgen/cpls_helper.py
cnfgen/dimacs_helpers.py
cnfgen/formula_helpers.py
cnfgen/graph_cmdline.py
cnfgen/graph_helpers.py
cnfgen/kthlist2pebbling.py
cnfgen/main.py
cnfgen/msg.py
cnfgen/ordering_helpers.py
cnfgen/pebbling_helpers.py
cnfgen/php_helpers.py
cnfgen/pitfall_helpers.py
cnfgen/simple_helpers.py
cnfgen/transformation_helpers.py