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/pbr.json
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/substitutions.py
cnfformula/utils/__init__.py
cnfformula/utils/cnfshuffle.py
cnfformula/utils/dimacstransform.py
cnfformula/utils/kthlist2pebbling.py
cnfformula/utils/solver.py
tests/__init__.py
tests/satisfiable.py
tests/shufflereference.py
tests/test_cnfformula.py
tests/test_cnfgen.py
tests/test_cnfgen_transformation.py
tests/test_cnfshuffle.py
tests/test_commandline_helper.py
tests/test_dimacsparser.py
tests/test_evencolouring.py
tests/test_graph_cmdline.py
tests/test_graph_helper.py
tests/test_graph_io.py
tests/test_graphisomorphism.py
tests/test_kthlist2pebbling.py
tests/test_ordering_principle.py
tests/test_pebbling.py
tests/test_perfectmatching.py
tests/test_pigeonhole_principle.py
tests/test_planted.py
tests/test_randomcnf.py
tests/test_subsetcardinality.py
tests/test_substitution.py
tests/test_tseitin.py