CNFgen-0.7.0.dist-info/DESCRIPTION.rst,sha256=OCTuuN6LcWulhHS3d5rfjdsQtW22n7HENFRh6jC6ego,10
CNFgen-0.7.0.dist-info/METADATA,sha256=JL7t8y9H34eK6crqOw5rmYw72IXifAULA1iHsdMazDc,286
CNFgen-0.7.0.dist-info/RECORD,,
CNFgen-0.7.0.dist-info/WHEEL,sha256=JTb7YztR8fkPg6aSjc571Q4eiVHCwmUDlX8PhuuqIIE,92
CNFgen-0.7.0.dist-info/entry_points.txt,sha256=AAjLZTFWerHdVqasNmx-2y44s3Z7FQ2zdTiHpTF4MgU,198
CNFgen-0.7.0.dist-info/metadata.json,sha256=6bKxgu1wSxSi9NCHN6p4oKcAv5twqvCSYnqVxeARemM,991
CNFgen-0.7.0.dist-info/pbr.json,sha256=9CnPshBVyz4Q6vHOTheY_kJugBQYVd5oBdsda80z-cI,47
CNFgen-0.7.0.dist-info/top_level.txt,sha256=EkeZ3PsJK6cPhvhEfTF6wCX52P4wvrqcLnfx1LfxM0k,11
cnfformula/__init__.py,sha256=Cmra_OyuydpOp3bCxvOL_5_OKLP33IjiwJ1fox43pAs,1869
cnfformula/cmdline.py,sha256=oKacjR6-liZxEnUjSuiUsXIWMiNpaFFWz_knoJNGGPU,23442
cnfformula/cnf.py,sha256=y-cGgiAhiqN82g1aPrkh84gPpsFZN1YfIoCV7IwHWRA,32491
cnfformula/cnfgen.py,sha256=aD8zCwfa9u_YrM-7hXPkB9t6CcsTBUxm-Yjf3S4CjMI,9208
cnfformula/graphs.py,sha256=1u1noFWtiqIDYiQwvoWRRh1Ti3C_P6vQqVTNsZ0zqak,33043
cnfformula/prjdata.py,sha256=uOL2KfRwpEdsq3TsNS_I1ULVG9leTkTIWr2s9iQwlK8,639
cnfformula/families/__init__.py,sha256=njM-1sob86sNuO3qwkaqnG63_ksbw8JdI8b6KBWb6BE,1022
cnfformula/families/cliquecoloring.py,sha256=Ovuq5ipo4VE6mzoqZXZL2buEtFkD5-L3iibbOKRL-ug,4290
cnfformula/families/coloring.py,sha256=Or_dG2oTIl7msPTvtMDCIQW6K3bkwBysDhKhv3VV-_E,5268
cnfformula/families/counting.py,sha256=V4oU0onQIbQlUAfhiFOKfuR-KlFfRWS6XH1s9b6PtWE,4306
cnfformula/families/dominatingset.py,sha256=sGrb2qMTZ6NgeNHOtnMFhHtiwnjRc7aYPD_bWO1VpO8,4376
cnfformula/families/graphisomorphism.py,sha256=6gu170Su6YgPWrR2BiqCgPyXJjrPUDbDhYGvhaS9jes,4562
cnfformula/families/ordering.py,sha256=5iT229MprB9lPWD6JzUbTjtNry9yB4b6DX-0Nej88qQ,8413
cnfformula/families/pebbling.py,sha256=WXUB4-64m1w9I21F6aYf4_cL1Eielzs4ygXCGwv6rZY,7805
cnfformula/families/pigeonhole.py,sha256=n3Gwzjeq-VAEnU-sOr7MKiPyMb3Xb0vwCzEYh_3k570,8560
cnfformula/families/ramsey.py,sha256=AY5cd9JksXAjd06suLEmCLRXTRqmCDQsvVDceg02EGE,4504
cnfformula/families/randomformulas.py,sha256=MCUp4doTAvkhMP69jF2JRXCBPIb0puRn7Ek-8dhZmtg,4114
cnfformula/families/simple.py,sha256=hqY_GnpoEz-4fUWHVwp6zt6vy4AiiTJmX-40KvTK2jw,3200
cnfformula/families/subgraph.py,sha256=FkMJB7bFKyeRGZhTJznVvfQXEVvGbxY6kxbMHnoFVNw,7651
cnfformula/families/subsetcardinality.py,sha256=sPRsHXg2NZf9mD-C8nBqWNtLN5pL9rl4sSKAPVam47k,4545
cnfformula/families/tseitin.py,sha256=ckpkDpdav-Sm3_-DouRtUTeT3bgrBs10kn_eBBmY9tE,3389
cnfformula/transformations/__init__.py,sha256=P7HSh4F9rcSSnXyAoLOfqnTOxT3m5CLSRlZpb4iAT_s,945
cnfformula/transformations/shuffle.py,sha256=3dCfCpWt7KS6oIU2wmBul6wgG9yntwr2-f5dNk8dkBQ,3394
cnfformula/transformations/substitutions.py,sha256=zoWEXFz6ElvEuokwDhYH_0lobzY9mazWQr3phcVRqyY,17184
cnfformula/utils/__init__.py,sha256=mTuoZjiljtC_H1qHgxf_r0B2mkC5P3GbqrVc8ZHYt2Y,2889
cnfformula/utils/cnfshuffle.py,sha256=I9NfIufL0jADtxkSdgC_V8MvRzHnomQ_FWfNtQfPd7s,4117
cnfformula/utils/dimacstransform.py,sha256=fE8BwpvRYR9fFxeXRi32MYl7JdeFkEJm9IgP2M5WZRA,2938
cnfformula/utils/kthlist2pebbling.py,sha256=jOqwXoyvHr6rnSdO1jScrWIlOOHQro9CREs8RrD5udM,3245
cnfformula/utils/solver.py,sha256=D5Qld3DfMSEUv9-4N4swu8mLVukhs1o1kP-5lYodueQ,13800
