cnfformula/__init__.py,sha256=t9P4GvYQhOeG73Ep99pUzE2pfxm4pl3geseW9Z3P-1M,2626
cnfformula/cnf.py,sha256=NvFfqgBE7SnWy06nPlknjIPKQWjesYhi59BrnbLiYQw,47322
cnfformula/graphs.py,sha256=u9nNNJJTbaMCdiIRWCzvbeLjBZWhiS4G9olPs1oLkQc,34927
cnfformula/info.py,sha256=awe3GwlQGkomB2WnkBIyzdD9HwDLLQUM8ZPBDG3h96c,1193
cnfformula/version.py,sha256=Hc7wgTtozB7rMLTkL-lR_p7J8IjAwJInHe263Y_RMn0,24
cnfformula/families/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
cnfformula/families/cliquecoloring.py,sha256=9z0G9Pc6abod6NDDHhdYVzqvdBnhqEO86mcGzdoMl1U,3229
cnfformula/families/coloring.py,sha256=Rh1hskDmma91qdiSd-zwM_867Sjp6InpwAB98e4tJJQ,3904
cnfformula/families/counting.py,sha256=NT5uqWSMn0nctMCy-6nyJf3Y1Y_9Q-q_HWj0nMPElU4,2143
cnfformula/families/cpls.py,sha256=fe6dgrOejlh-L7l_kg6BvYh5GK0KqDtnidukzjKHHS4,3679
cnfformula/families/dominatingset.py,sha256=Yi76A8RvVMZzlfZLePCO5KhxvCt68KfIrJ4gH5pmFtc,3189
cnfformula/families/graphisomorphism.py,sha256=mSrEfBuw__9o14Pd1XRD_Gk8bhOhQ5wzupEDg_yqtbg,2724
cnfformula/families/ordering.py,sha256=wSvF0AncT9GTpuv3a3y3ho3F58SczNnxaLDvNdFTRhM,5185
cnfformula/families/pebbling.py,sha256=Og1qLUCicRk6w28-10uUxRXfgYBWhYiGIedJIHEE86E,10951
cnfformula/families/pigeonhole.py,sha256=p_1oPPn-BXzOj3j1Uvmmbab4KFb-gu-Dng8f7g5K8dU,5968
cnfformula/families/pitfall.py,sha256=bwQpZO9GkE5xRLzWWswbLA5pAhrilXdomrznsgVFYoE,4150
cnfformula/families/ramsey.py,sha256=r8CwKEEEaAkQC9SqQqTLq3oSa6gBUPujcd7mon30p8Y,2721
cnfformula/families/randomformulas.py,sha256=dCZ-4diSLGRbs5rl92MI1t6FUHEylcsbw7zgU7eEAQc,3193
cnfformula/families/subgraph.py,sha256=Uv7UjC-he7MCaGLvPIsy1T3tFbu6J4YYSWzZmNGNQC8,6836
cnfformula/families/subsetcardinality.py,sha256=9OoDahOVXeUmphPKRNeqxCqBF4A926TfRlI9rYplEEw,3701
cnfformula/families/tseitin.py,sha256=AjKLQZr6m81-0xOuB1OBcSEaKUG46hOt5U52SF98FMU,1370
cnfformula/transformations/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
cnfformula/transformations/shuffle.py,sha256=8zt4CJIu1bgg7HNPGuxvjSQLXmdDmfuQUcZidk9aP2s,2296
cnfformula/transformations/substitutions.py,sha256=CmLfVJ7stl0CkrM5UozUdzObTdD-IuPgGZbJNCU9IIg,16432
cnfformula/utils/__init__.py,sha256=YWClia8S-syatU91BAhPPsMXLtGKktp9sGY1E18VBr4,105
cnfformula/utils/parsedimacs.py,sha256=j8bTfng58AI5VFGhbP1BFSjP90CAAWkuKKr36CUH51g,3277
cnfformula/utils/solver.py,sha256=VOiF0rIWyI8ToBK5OClJpmxo5rSw87NDbHwFa-67TvQ,15396
cnfgen/__init__.py,sha256=rt2t6SGm5v2IZ1qVq8UPEpJVtsRq2Q-ISDDG2Qppvbk,336
cnfgen/cmdline.py,sha256=jFlCt7hT-iWUkOi71UT4tpYEzR2j03ZzBewFqVjnB7Y,6536
cnfgen/cnfshuffle.py,sha256=EtSHhDNy2vviIRg2r604jmVAPq_fUkm48_EMrnKSQOo,5550
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=h0mg2B3YXf4zajUH89r4Y2nH1UqwMoh98sYKZwb5WAo,708
cnfgen/graph_cmdline.py,sha256=7G2JR43GKO0iF-t6xjsBMFG4BRyCL9Vn0Wx0yMpzkcs,25971
cnfgen/graph_helpers.py,sha256=hbqbiy8kMB0e53fQaxI28om45HASQQUrYDgAinWI5ig,8649
cnfgen/kthlist2pebbling.py,sha256=wR9rDkgF6qJftzESpiW6K6H-T1YRDfstEU4tsRNMZJs,4478
cnfgen/main.py,sha256=DehsAuPFao5x_gpFaN3H2lB9-qouUYZkySOybhHJkDw,14638
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=RlQ0jqovXnaKCN2SN6-4Fne7u1mVDl7ExZXw1VopI9k,1759
cnfgen/simple_helpers.py,sha256=zYnpZLFQ2YPsamql15WdK0CVHUVIVRkev5cnakszWbE,4009
cnfgen/transformation_helpers.py,sha256=5W3RLccTIVrRanoxv9ewrdfQhKwPMJJnStWK4EieAo0,8416
CNFgen-0.8.5.post1.dist-info/LICENSE,sha256=g-ZHvgH6DtexuYICeRUQsJMm3pfhs3Zuc7CASBsHvLI,35128
CNFgen-0.8.5.post1.dist-info/METADATA,sha256=Poz1ORTzguTzbfop35ghQZnOYTdROoLiKZegQ7YpWpA,1301
CNFgen-0.8.5.post1.dist-info/WHEEL,sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY,92
CNFgen-0.8.5.post1.dist-info/entry_points.txt,sha256=_QC2_gMy2Hyf7B9nyT2bnFQcuhAz6NqyfsoVzkKOQKs,81
CNFgen-0.8.5.post1.dist-info/top_level.txt,sha256=FDPj9lOEzIBGeq1shXTUI7Q1iqqc2WucqRUDnYBvy_0,18
CNFgen-0.8.5.post1.dist-info/RECORD,,
