CNFgen-0.6.0.0.dist-info/DESCRIPTION.rst,sha256=OCTuuN6LcWulhHS3d5rfjdsQtW22n7HENFRh6jC6ego,10
CNFgen-0.6.0.0.dist-info/METADATA,sha256=VqI1OkHZCP2CQ2-SZ-kGMwkzOPEGdc6GnL5IJFaVdSY,288
CNFgen-0.6.0.0.dist-info/RECORD,,
CNFgen-0.6.0.0.dist-info/WHEEL,sha256=JTb7YztR8fkPg6aSjc571Q4eiVHCwmUDlX8PhuuqIIE,92
CNFgen-0.6.0.0.dist-info/entry_points.txt,sha256=AAjLZTFWerHdVqasNmx-2y44s3Z7FQ2zdTiHpTF4MgU,198
CNFgen-0.6.0.0.dist-info/metadata.json,sha256=3_iEz5LBRghflfpo-LEpDm9rceDJ4PuYqxCGjlwxY74,993
CNFgen-0.6.0.0.dist-info/pbr.json,sha256=-MtUo6Mygay_Eh-sZYmnXsm1AU10I7gjOxqf4wrKZZY,47
CNFgen-0.6.0.0.dist-info/top_level.txt,sha256=4FuN6v75N7yxydxRWqsvKDZ1_0DPSj6em6HTvSVqIVk,17
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=ejAWoO2rlFAAq4IF0PUahV0HrKvK1sODccXlV6uBBoc,8263
cnfformula/graphs.py,sha256=ekratS2bhA9qBeJ5EjS1ct7bl1bVuWWis278a9vtnTs,31107
cnfformula/prjdata.py,sha256=Vght44UMggtUncs4JmwnFCcpFtnJZgXB_IsBtei2KHQ,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=IyWvNKxO6aRFK1rT72CPhYQFNyELsPdMI2xLDi9Ygak,4254
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
tests/__init__.py,sha256=rqs7zGybPtDYn5IMiQTPLZZYECTAlqaipXkwlfKc1RU,1793
tests/satisfiable.py,sha256=DnuUCqZngDCRRxJHUKMzK42zi_Gw9-Dz_T9zaILRsGg,650
tests/shufflereference.py,sha256=WV7ba6zSCIZ81iaIdQ7IpY0T0GKqLyqMZlyeEniGSZA,2636
tests/test_cnfformula.py,sha256=tJ6wTR4IxYcIWEwsc0HAPzIHyo-xsrduyosw_2oJ3Bg,1599
tests/test_cnfgen.py,sha256=-A-08yDpEEWXrhZncURyVg02k8MmqNjERc8e88OtujM,1188
tests/test_cnfgen_transformation.py,sha256=ALui-7fxCvH1LFfH6u1xvtrJhfO3lpUqCNwHO5VlO6Q,1426
tests/test_cnfshuffle.py,sha256=4QvMvYSZv-f5GZCdKzsZUwrhXNUh3tnWfaGIvVdkmRU,6835
tests/test_commandline_helper.py,sha256=nfsVKffnnPwiqkxSt7LkgUgcqJd0CRAEtF-BsfpxbMM,2692
tests/test_dimacsparser.py,sha256=d24eu491gvrdWCZ7junzB3jOOWk7-q0rqh_eM75c_D0,1868
tests/test_evencolouring.py,sha256=ADzMRXroIunyPRD4uqLTsi0n6eRUMsSkn9jJR3fT9hI,1250
tests/test_graph_cmdline.py,sha256=8rJX_oldEOi4EAtokShctxO-A_lVV9wVGb2hYUfEbXg,6478
tests/test_graph_helper.py,sha256=EX7zEu7hSr1QkHcgTyYMlo5dWnY4zDMKtWjPbi9h8JI,227
tests/test_graph_io.py,sha256=AvXrCyDkBF56MMy5J8nri6pSrxCqm6DEKlXpgc7PDic,3674
tests/test_graphisomorphism.py,sha256=wa0W8tlc9uy4LvOkuxj_KdlCJ7kab9aanJLLs-T-81s,1945
tests/test_kthlist2pebbling.py,sha256=qibUMDeLWEjvHgmcIm6aog3skLCT_XQe2By2StIxYIw,2343
tests/test_ordering_principle.py,sha256=g5tZYm4e7-BrhBRnw4q9HrgIAN4_dSg1_mBh17Jk3Bw,3592
tests/test_pebbling.py,sha256=SwH_DyqocfxbXNU3-1q62bcuuHXChIiwZFZxztAg6w0,2435
tests/test_perfectmatching.py,sha256=SM6RDW7I70nCjO2-_CCKesAIugVhW2JRbJGLa1z4iKU,1629
tests/test_pigeonhole_principle.py,sha256=l6zK1h4l60P_2m9kOHzX9BgZOBBs6svxTmCL68e1AYY,5391
tests/test_planted.py,sha256=448QcCFZ6-qpUi5bMSUMjp1AJl5hVxrf_rRSv7OiZJc,1201
tests/test_randomcnf.py,sha256=XMZWT5OoNbzPeV5Xqpv5xgouwWylZgQ9jyOL2JoJyTQ,1406
tests/test_subsetcardinality.py,sha256=x_pk3TUxRAqqlX2IlU08FE4ibq_LcP4RMicezqxnlPY,2340
tests/test_substitution.py,sha256=OwZmHiT7bX90wxuTD1uYBWofgRYml_q4oQ1iRwPCZ3M,5361
tests/test_tseitin.py,sha256=A0OSeXkbC6cSktFEHBhGAZo7pWTvP7ipGueg6oIzPnU,2530
