cnfformula/__init__.py,sha256=Cmra_OyuydpOp3bCxvOL_5_OKLP33IjiwJ1fox43pAs,1869
cnfformula/cmdline.py,sha256=eyC2h6T9aTBlSP9K7gWer5KE_iSv4dLAzlzA3tPc-Ms,29027
cnfformula/cnf.py,sha256=9DiaB4ZF9V20hK5FncSko1LA3FWqFf8WGjAaRfS5xwA,46571
cnfformula/cnfgen.py,sha256=Whk-Hz7GCBwnAuDbM_-Tp23AJrks3OuF7l0BDWyJ9NY,9529
cnfformula/graphs.py,sha256=qeufAk-VcTkTAwZLPhpllyqsW1dxi7dI0WGOMIOL5hk,33744
cnfformula/prjdata.py,sha256=IbyCicrYAbHWLqHrGBtKOvvxK4vbHulUIXoB3SINrZ4,635
cnfformula/families/__init__.py,sha256=njM-1sob86sNuO3qwkaqnG63_ksbw8JdI8b6KBWb6BE,1022
cnfformula/families/cliquecoloring.py,sha256=dUuYwn5OqJu4HTlfMcQS3OGPYAZ3aOTY9hJZLMLfvng,4251
cnfformula/families/coloring.py,sha256=B3dJeb3uwmYTDNlvigUjH7_gFtI0Xl2-rHR22aXwZqM,5242
cnfformula/families/counting.py,sha256=XjGUXvqUlaA_5T-OyzdcYkzgZG84kG2CqlI72ICDZ2A,4267
cnfformula/families/dominatingset.py,sha256=6NUVbgVzov05zi86ZXt8B959LdaeiHAUoNPpSaF0WPE,4328
cnfformula/families/graphisomorphism.py,sha256=6gu170Su6YgPWrR2BiqCgPyXJjrPUDbDhYGvhaS9jes,4562
cnfformula/families/ordering.py,sha256=P7_l_5HdrXaxtZMGtq57zM6AW01EEmDS6hs329JhyKs,8410
cnfformula/families/pebbling.py,sha256=cXiLRLmI2rbkb8mmuJJ36B0U7gz5GxskCPe9pIZVD9c,14043
cnfformula/families/pigeonhole.py,sha256=MCgjbHuHb-n7-ntfkd0B-iZWthPaWWDO7WzfeF1ljr4,8938
cnfformula/families/ramsey.py,sha256=pl78aHPerZbKnR521VRQUf3dHwL2XXkaVsslACLNK18,4500
cnfformula/families/randomformulas.py,sha256=oJhBvx0LeeSHS6aAEMZDlay7NwzVpBnk8pSI_wxyNWo,4113
cnfformula/families/simple.py,sha256=hqY_GnpoEz-4fUWHVwp6zt6vy4AiiTJmX-40KvTK2jw,3200
cnfformula/families/subgraph.py,sha256=zpkQHYD-Zwfr3qJAAsje2fr4CrmQmc0xROCRqnNE8a8,10753
cnfformula/families/subsetcardinality.py,sha256=JkAvOCAXJu_y76necXFMxlXCxBtJMayQSPAEsY01h3s,4418
cnfformula/families/tseitin.py,sha256=n7ag4nYYXuazAt49PLgn02tWLHEg--4BcR5wIaTUM-4,3425
cnfformula/transformations/__init__.py,sha256=P7HSh4F9rcSSnXyAoLOfqnTOxT3m5CLSRlZpb4iAT_s,945
cnfformula/transformations/shuffle.py,sha256=SEP1GueBf5KqV59ER5cZY4mLY1iTN-7hZQW4e7KScP8,3418
cnfformula/transformations/substitutions.py,sha256=_J0Ra3eUi6HXwqB3dsnbM9jYIYxxauhBkHyoqPXnaCo,21954
cnfformula/utils/__init__.py,sha256=pfR1bGUXVqCnl6X3P9iDvcZ-yZPJ1sY6JNxPQ4tLKxs,2851
cnfformula/utils/cnfshuffle.py,sha256=wtaVyN0gMk7vs9XOPcniIc53-P_-jxD7hyTgUpmnl_M,4032
cnfformula/utils/dimacstransform.py,sha256=epGOt6RbFTgeX3DCd744W6jJUDQvb4oJCoY9vSbpyqY,3075
cnfformula/utils/kthlist2pebbling.py,sha256=s7UsIOTvJ6365Jz-3kssUQ_MJKEA9SLQAQjssCzq-kk,3381
cnfformula/utils/solver.py,sha256=w-KgvoajUN8JdQQSpwJVpxpTX1q_LAK7ypn7YeeG5mI,15365
CNFgen-0.8.4.dist-info/LICENSE,sha256=g-ZHvgH6DtexuYICeRUQsJMm3pfhs3Zuc7CASBsHvLI,35128
CNFgen-0.8.4.dist-info/METADATA,sha256=TgjgvJ2Qc5nLFHYPJOTtx1F6Cd1v5Frahi8Sznuz1bk,319
CNFgen-0.8.4.dist-info/WHEEL,sha256=p46_5Uhzqz6AzeSosiOnxK-zmFja1i22CrQCjmYe8ec,92
CNFgen-0.8.4.dist-info/entry_points.txt,sha256=AAjLZTFWerHdVqasNmx-2y44s3Z7FQ2zdTiHpTF4MgU,198
CNFgen-0.8.4.dist-info/top_level.txt,sha256=EkeZ3PsJK6cPhvhEfTF6wCX52P4wvrqcLnfx1LfxM0k,11
CNFgen-0.8.4.dist-info/RECORD,,
