cnfformula/__init__.py,sha256=fxlOHI93bs8-TwzqxPC7Qg-bPAczBrgz_3_dul_ilYI,3066
cnfformula/cnf.py,sha256=2kR857vDrdnet8LxrwVAiwqDiVI4mLsi-39c3zKZMQg,47790
cnfformula/graphs.py,sha256=u9nNNJJTbaMCdiIRWCzvbeLjBZWhiS4G9olPs1oLkQc,34927
cnfformula/info.py,sha256=awe3GwlQGkomB2WnkBIyzdD9HwDLLQUM8ZPBDG3h96c,1193
cnfformula/version.py,sha256=cAvoRKVr1nckwHiZCmJg-0_ObrpmLbBmZOVrB-3ND_s,18
cnfformula/families/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
cnfformula/families/cliquecoloring.py,sha256=Swq3p-2-UJ6Fq9AFIw-NV8yXJC7_jy0vcMoqbYur2XA,3437
cnfformula/families/coloring.py,sha256=PgiyGaMKmO_OUQc9rirOUiEkRIVSxR0i3Nog8ZRynHQ,3925
cnfformula/families/counting.py,sha256=pLrlwBsSzzoRxAjTbTN4byrR2hjeMxvrWstmNSoIvbU,2188
cnfformula/families/cpls.py,sha256=NAyZYKYr1fhYvBJI40-L2tYUHDQrDRsjvkPpjv6E8YI,3623
cnfformula/families/dominatingset.py,sha256=Nj-m1HJCA27UYm8cwrSMs-vD-yqp1v_hHjC9Ida-k90,3296
cnfformula/families/graphisomorphism.py,sha256=x06EsFqABNcQapK7Ro9alFrLVvLCiYJZv-qR4jEFYP0,2753
cnfformula/families/ordering.py,sha256=al-dwKXWMZ1OLBj5_281WsjUAEHx1A5G_Pc0hmbrZG8,5682
cnfformula/families/pebbling.py,sha256=P5DyqA1XtbanA4DazzBiAt-x_bG41SZg-wyH2DqVXSA,11317
cnfformula/families/pigeonhole.py,sha256=OYaap4LOUXXsxL1whcdGxjWqDgHSGU99Ev9N6f4PpNU,5947
cnfformula/families/pitfall.py,sha256=GqgjJRJ_Mr5b_4HPtLia42Tv2ZFvNDtCtb7lwYvSLAc,4945
cnfformula/families/ramsey.py,sha256=7GqUqYt0PLdnvNnzSlSqP452fHvNZBf8j8EIHAMqoQo,2690
cnfformula/families/randomformulas.py,sha256=WjGu2TUVBmCWiay7-TuhBtVXT4v9tQgwiwpbyegOJew,3206
cnfformula/families/subgraph.py,sha256=0y5nOb8Re6WRmMUsKWZYCOoOggyYUMVTkR71ZAZMboY,7315
cnfformula/families/subsetcardinality.py,sha256=IsLL9Qsud0kBXvuZxeHSFKa7ACBUewFOl4PziFGNFNI,3708
cnfformula/families/tseitin.py,sha256=AjKLQZr6m81-0xOuB1OBcSEaKUG46hOt5U52SF98FMU,1370
cnfformula/transformations/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
cnfformula/transformations/shuffle.py,sha256=L3cQbyEusonPjI4ZpoZ5sv1aIrjVkeb99CueI2AY_m4,2517
cnfformula/transformations/substitutions.py,sha256=MZIpXqPA0w4WQZoMdnuyUF4oFHDNEKslf-qDzPdJ0wc,17051
cnfformula/utils/__init__.py,sha256=YWClia8S-syatU91BAhPPsMXLtGKktp9sGY1E18VBr4,105
cnfformula/utils/parsedimacs.py,sha256=JX6KCmWRXg8gkKHsddCa5bRnDbiKqOXkzHvMapYWdtg,2595
cnfformula/utils/solver.py,sha256=VOiF0rIWyI8ToBK5OClJpmxo5rSw87NDbHwFa-67TvQ,15396
cnfgen/__init__.py,sha256=rt2t6SGm5v2IZ1qVq8UPEpJVtsRq2Q-ISDDG2Qppvbk,336
cnfgen/cmdline.py,sha256=2l-vz3Q54dtuHjeXmXkpgRbN0B3cvKsYP7QUIWvSlwk,6757
cnfgen/cnfshuffle.py,sha256=Ky1Vo_9cIFvGUebBaVRqW_KlpuP4Xd-Ek3uF673FdLg,5533
cnfgen/counting_helpers.py,sha256=X0Uvifks3nyBSZfmnXbx0Kqo_TV7BJh9vIs0lOoLzDA,5104
cnfgen/cpls_helper.py,sha256=GN8i9mRBht4zOBm1fl6Nd2yvmTfZO6XtGqnKRkHaMgw,1482
cnfgen/dimacs_helpers.py,sha256=qePGS4IukFpH4PiXC9a4flu65bgV1g6deNX8cGge0xY,1739
cnfgen/formula_helpers.py,sha256=l_0RyYxgsnvHvqeTipPzs7thNl4y0jpf6xwymLAt44o,683
cnfgen/graph_cmdline.py,sha256=eqP3lyObKTcs9wRsLewyq0gLuf9ho0ljRXqL1p45wRo,27455
cnfgen/graph_helpers.py,sha256=hbqbiy8kMB0e53fQaxI28om45HASQQUrYDgAinWI5ig,8649
cnfgen/kthlist2pebbling.py,sha256=wR9rDkgF6qJftzESpiW6K6H-T1YRDfstEU4tsRNMZJs,4478
cnfgen/main.py,sha256=FBD7MyBChOibkerPDb9Jf6eYrbgr9WChZldfOj-tzxk,14403
cnfgen/msg.py,sha256=rwOR3BocrG8PDd6rFpooF3NefJKA9eKxc_iW0mXEUd4,1769
cnfgen/ordering_helpers.py,sha256=t7Xzv8nKJ0ZQquXFQmAhzLIxOw2rwZSoub4LcONawS4,3360
cnfgen/pebbling_helpers.py,sha256=pKDv4oqPisjWZqavT2QzudIMARg46yfgcowCoPi8XGg,3191
cnfgen/php_helpers.py,sha256=4mtnNp2bI1RqRaXwVAu6dHGi39X2nCLCai4amVepsDM,9739
cnfgen/pitfall_helpers.py,sha256=tAhBc1zkjMi3h-z40marVW28skgbZCiSay4ksafnsxo,2645
cnfgen/simple_helpers.py,sha256=CfeOlmxb4xxf3-S5XIkGUUAvGbm7a_h5c35CWVKDCRk,4539
cnfgen/transformation_helpers.py,sha256=yAbnZeLj7FoKw7cdGPKksDx09RXIbqsg1wjYMc5pzhg,8546
CNFgen-0.8.6.dist-info/LICENSE,sha256=g-ZHvgH6DtexuYICeRUQsJMm3pfhs3Zuc7CASBsHvLI,35128
CNFgen-0.8.6.dist-info/METADATA,sha256=LMnBD4TZXPm4Nqk6_6i3CDTBpW6gaSdsVFNoJXvBXIE,1295
CNFgen-0.8.6.dist-info/WHEEL,sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY,92
CNFgen-0.8.6.dist-info/entry_points.txt,sha256=_QC2_gMy2Hyf7B9nyT2bnFQcuhAz6NqyfsoVzkKOQKs,81
CNFgen-0.8.6.dist-info/top_level.txt,sha256=FDPj9lOEzIBGeq1shXTUI7Q1iqqc2WucqRUDnYBvy_0,18
CNFgen-0.8.6.dist-info/RECORD,,
