CREDITS.org
LICENSE
MANIFEST.in
Makefile
PyPI.md
README.org
pyproject.toml
requirements.txt
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/graphs.py
cnfgen/info.py
cnfgen/localtypes.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_args.py
cnfgen/clitools/graph_build.py
cnfgen/clitools/graph_docs.py
cnfgen/clitools/graph_fileinput.py
cnfgen/clitools/kthlist2pebbling.py
cnfgen/clitools/msg.py
cnfgen/clitools/pbgen.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/randomkxor.py
cnfgen/families/subgraph.py
cnfgen/families/subsetcardinality.py
cnfgen/families/tseitin.py
cnfgen/formula/__init__.py
cnfgen/formula/basecnf.py
cnfgen/formula/baseopb.py
cnfgen/formula/cnf.py
cnfgen/formula/cnfio.py
cnfgen/formula/linear.py
cnfgen/formula/opb.py
cnfgen/formula/opbio.py
cnfgen/formula/variables.py
cnfgen/transformations/__init__.py
cnfgen/transformations/shuffle.py
cnfgen/transformations/substitutions.py
cnfgen/utils/__init__.py
cnfgen/utils/latexoutput.py
cnfgen/utils/opb.py
cnfgen/utils/parsedimacs.py
cnfgen/utils/solver.py
tests/test_bipartite.py
tests/test_bipartite_cmdline.py
tests/test_cliquecoloring.py
tests/test_cnf.py
tests/test_cnfgen.py
tests/test_cnfgen_transformation.py
tests/test_cnfshuffle.py
tests/test_cpls.py
tests/test_detect_helpers.py
tests/test_digraph_cmdline.py
tests/test_dimacsparser.py
tests/test_domset.py
tests/test_evencolouring.py
tests/test_flip.py
tests/test_graph_io.py
tests/test_graphisomorphism.py
tests/test_handbook.py
tests/test_kthlist2pebbling.py
tests/test_ordering_principle.py
tests/test_parse_graph_args.py
tests/test_pebbling.py
tests/test_perfectmatching.py
tests/test_pigeonhole_principle.py
tests/test_pitfall.py
tests/test_planted.py
tests/test_ramsey.py
tests/test_randomcnf.py
tests/test_randxor.py
tests/test_rphp.py
tests/test_seed.py
tests/test_shuffling.py
tests/test_simplegraph_cmdline.py
tests/test_subgraph.py
tests/test_subsetcardinality.py
tests/test_substitution.py
tests/test_threshold_subst.py
tests/test_tiling.py
tests/test_tseitin.py