cnfformula/__init__.py,sha256=QnYcpNRoSS1O2p9RcjEchRxG1OsfXCJnzFeMSBXWUb8,1351
cnfformula/cmdline.py,sha256=Z9N93UqtolzjpYFXZK9NLT1VUIQqCl_-Yb5ZnPxDUjA,20390
cnfformula/cnf.py,sha256=FrqqOlzHwlzld9fzn3HUGI5yXiVk_HJ-4iXsIBvk2bM,32441
cnfformula/cnfgen.py,sha256=21AUIj7ykbX2cck0ePMz5DyxnL2_xIHfmPR6ywKJ4HM,8427
cnfformula/graphs.py,sha256=4W3etbVVh65bESBc4ncXUZLxt6GdDefIRy-xH3FTzwY,30762
cnfformula/prjdata.py,sha256=YEv52ge3L8W5CcJIfLE3AlP0oMfa7ofBvM6IusJuAdQ,641
cnfformula/transformation.py,sha256=28L2GmzAEg6PwI1EodmHEEd-xP33rUCHK1eO6vkUkOM,16845
cnfformula/families/__init__.py,sha256=njM-1sob86sNuO3qwkaqnG63_ksbw8JdI8b6KBWb6BE,1022
cnfformula/families/coloring.py,sha256=TZk40rxbdHULHaYgZCZR_O5mdYOMiVA04qGY6IxBH8Y,5141
cnfformula/families/counting.py,sha256=B3_wF6dzOZkThl-lMM7db2zzRJ0rj0ystnEKETP4DeY,4243
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=vQ8V3ZjjTB05OyKgDGXqE1TdJFyngh3TEEOFEvTpE54,2335
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/utils/__init__.py,sha256=mTuoZjiljtC_H1qHgxf_r0B2mkC5P3GbqrVc8ZHYt2Y,2889
cnfformula/utils/adjlist2pebbling.py,sha256=XnrRKavuATaJzPyYEEMkQHo1eWeRxCdWv46Hk_dW59Q,6496
cnfformula/utils/cnfshuffle.py,sha256=t4h4Yto4SvxaUXyrA9lAmQSoPlL7P4fh5T31E-jmK0w,6313
cnfformula/utils/dimacstransform.py,sha256=gJuTIT1fM5nKLRKYy0bjDrTzxRqebjbr0xGY9_QrBRA,6264
cnfformula/utils/solver.py,sha256=AUIJF0Cc1B7Km1KHHFp154OMAhKxQ5m70n1roJZvrM0,13301
CNFgen-0.5.5.1.dist-info/DESCRIPTION.rst,sha256=OCTuuN6LcWulhHS3d5rfjdsQtW22n7HENFRh6jC6ego,10
CNFgen-0.5.5.1.dist-info/entry_points.txt,sha256=AAjLZTFWerHdVqasNmx-2y44s3Z7FQ2zdTiHpTF4MgU,198
CNFgen-0.5.5.1.dist-info/METADATA,sha256=D0KVXXQn9mfZGRzZ2WWY_fbV_wECrTNqYfJ5L1QnxCE,288
CNFgen-0.5.5.1.dist-info/metadata.json,sha256=Mg6snc3UCol166dWppn3UNWpaZlf3uEEIXpFOpdjvYM,993
CNFgen-0.5.5.1.dist-info/RECORD,,
CNFgen-0.5.5.1.dist-info/top_level.txt,sha256=EkeZ3PsJK6cPhvhEfTF6wCX52P4wvrqcLnfx1LfxM0k,11
CNFgen-0.5.5.1.dist-info/WHEEL,sha256=54bVun1KfEBTJ68SHUmbxNPj80VxlQ0sHi4gZdGZXEY,92
