CNFgen-0.6.0.2.dist-info/DESCRIPTION.rst,sha256=OCTuuN6LcWulhHS3d5rfjdsQtW22n7HENFRh6jC6ego,10
CNFgen-0.6.0.2.dist-info/METADATA,sha256=uBE3sRyo6nrLnk-7tvvdWtjabmQB3gTK9r12eLn7c88,288
CNFgen-0.6.0.2.dist-info/RECORD,,
CNFgen-0.6.0.2.dist-info/WHEEL,sha256=JTb7YztR8fkPg6aSjc571Q4eiVHCwmUDlX8PhuuqIIE,92
CNFgen-0.6.0.2.dist-info/entry_points.txt,sha256=AAjLZTFWerHdVqasNmx-2y44s3Z7FQ2zdTiHpTF4MgU,198
CNFgen-0.6.0.2.dist-info/metadata.json,sha256=lfH6l0IaQQbCo7gYjloUBVfvYzTaJF7ZLLqfwKU--PI,993
CNFgen-0.6.0.2.dist-info/pbr.json,sha256=myGzlwuuUccINOy0-t4hko5eogqaPleCOY6M3Zqvd30,47
CNFgen-0.6.0.2.dist-info/top_level.txt,sha256=EkeZ3PsJK6cPhvhEfTF6wCX52P4wvrqcLnfx1LfxM0k,11
cnfformula/__init__.py,sha256=Cmra_OyuydpOp3bCxvOL_5_OKLP33IjiwJ1fox43pAs,1869
cnfformula/cmdline.py,sha256=nZObA-tOP0ZN1VJs0fNaBajVCWFLUYH3OKX19IQG6JY,23234
cnfformula/cnf.py,sha256=t276m4W78UAMlWC_L8L6T5ObyQW5Hk8Sx_WIwzl6LXc,32415
cnfformula/cnfgen.py,sha256=HYxnbbMj0YaZHRpaCh6k8hhXVrhQLeHYF8_WlJ-zh5I,8409
cnfformula/graphs.py,sha256=ekratS2bhA9qBeJ5EjS1ct7bl1bVuWWis278a9vtnTs,31107
cnfformula/prjdata.py,sha256=NR3LMqE089C1xik3yMmfcl7G8aMYqwEj5B3pH60JZiA,641
cnfformula/families/__init__.py,sha256=njM-1sob86sNuO3qwkaqnG63_ksbw8JdI8b6KBWb6BE,1022
cnfformula/families/cliquecoloring.py,sha256=Ovuq5ipo4VE6mzoqZXZL2buEtFkD5-L3iibbOKRL-ug,4290
cnfformula/families/coloring.py,sha256=TZk40rxbdHULHaYgZCZR_O5mdYOMiVA04qGY6IxBH8Y,5141
cnfformula/families/counting.py,sha256=B3_wF6dzOZkThl-lMM7db2zzRJ0rj0ystnEKETP4DeY,4243
cnfformula/families/dominatingset.py,sha256=JYepTivBVWIV6PwtoMWP5QQ7qpHTZBpUovt4kVA9dao,4297
cnfformula/families/graphisomorphism.py,sha256=rOkDq-kCdHHEkzjw8zHj1kCKT30ahf9Ww7EoKYfRcCY,4579
cnfformula/families/ordering.py,sha256=AeTaFnhRIgvljL7mx-EP2J67DypLdEooPLuORK7XuTo,8343
cnfformula/families/pebbling.py,sha256=WXUB4-64m1w9I21F6aYf4_cL1Eielzs4ygXCGwv6rZY,7805
cnfformula/families/pigeonhole.py,sha256=as2dde-vmRnmgh4u6Kmli1xRO_rZc9NOANM-q2w4iko,8490
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=wmxFjxo3ILudLroL-t_V_tim_vTYUz-LoR1W59om54A,7602
cnfformula/families/subsetcardinality.py,sha256=s38vyLeT7G-rCpo3Rv3S3F3TH6fNjCheWsrbZ-zJpb0,4504
cnfformula/families/tseitin.py,sha256=FxJvI6ALyiT96GoaiZC4VJQ7QBbI2d-1Iv272jD6nTM,3324
cnfformula/transformations/__init__.py,sha256=P7HSh4F9rcSSnXyAoLOfqnTOxT3m5CLSRlZpb4iAT_s,945
cnfformula/transformations/substitutions.py,sha256=zoWEXFz6ElvEuokwDhYH_0lobzY9mazWQr3phcVRqyY,17184
cnfformula/utils/__init__.py,sha256=mTuoZjiljtC_H1qHgxf_r0B2mkC5P3GbqrVc8ZHYt2Y,2889
cnfformula/utils/cnfshuffle.py,sha256=t4h4Yto4SvxaUXyrA9lAmQSoPlL7P4fh5T31E-jmK0w,6313
cnfformula/utils/dimacstransform.py,sha256=fE8BwpvRYR9fFxeXRi32MYl7JdeFkEJm9IgP2M5WZRA,2938
cnfformula/utils/kthlist2pebbling.py,sha256=jOqwXoyvHr6rnSdO1jScrWIlOOHQro9CREs8RrD5udM,3245
cnfformula/utils/solver.py,sha256=RbOSQ0UTXncUGKYraSv9HQffajoGRnDXQIvc9Z88ROs,13655
