LICENSE
MANIFEST.in
Makefile
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/cmdline.py
cnfformula/cnf.py
cnfformula/cnfgen.py
cnfformula/graphs.py
cnfformula/prjdata.py
cnfformula/families/__init__.py
cnfformula/families/cliquecoloring.py
cnfformula/families/coloring.py
cnfformula/families/counting.py
cnfformula/families/dominatingset.py
cnfformula/families/graphisomorphism.py
cnfformula/families/ordering.py
cnfformula/families/pebbling.py
cnfformula/families/pigeonhole.py
cnfformula/families/ramsey.py
cnfformula/families/randomformulas.py
cnfformula/families/simple.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/cnfshuffle.py
cnfformula/utils/dimacstransform.py
cnfformula/utils/kthlist2pebbling.py
cnfformula/utils/solver.py