cnfformula/__init__.py,sha256=eShpjHYSdVwYiINRwp-3hCN0zOsM7aY5LnW1S2L_NII,2587
cnfformula/cnf.py,sha256=xnEdrjKhG-8qox65tTmCEZzfJxHiHWTR-aTpXcn0fFE,47350
cnfformula/graphs.py,sha256=u9nNNJJTbaMCdiIRWCzvbeLjBZWhiS4G9olPs1oLkQc,34927
cnfformula/prjdata.py,sha256=MqLTeUafBRWsvVYJoqpRSPABG4uh7VjkR7NiDvirP6Q,529
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/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=0L3GNSWv-PuRlODeFQMfwh2Q1wIj5_1U0la55Brjhhw,3650
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=E8BMdT-YGf0jLyw7AAPA6U3ryFlXLL_GbRPITzHEaRs,387
cnfgen/cmdline.py,sha256=jFlCt7hT-iWUkOi71UT4tpYEzR2j03ZzBewFqVjnB7Y,6536
cnfgen/cnfshuffle.py,sha256=BQ8HHGrFsZR_y2FXwWRSNTqYrqZhaGn32huz0cQ_VXc,5542
cnfgen/counting_helpers.py,sha256=X0Uvifks3nyBSZfmnXbx0Kqo_TV7BJh9vIs0lOoLzDA,5104
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=0yQqsA88qwgF6tBBQY64jHsrYkakgDwMjSE3IB4PDAI,4470
cnfgen/main.py,sha256=o_YWABqr_ukaNGEhZqTZtP9_TenCM2TBF8k0x5lfs6E,14626
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=NUKgLjMBQeh0Jvcxon8xj446MccKoiykThBkeQ598VU,1587
cnfgen/simple_helpers.py,sha256=zYnpZLFQ2YPsamql15WdK0CVHUVIVRkev5cnakszWbE,4009
cnfgen/transformation_helpers.py,sha256=5W3RLccTIVrRanoxv9ewrdfQhKwPMJJnStWK4EieAo0,8416
CNFgen-0.8.5.dist-info/LICENSE,sha256=g-ZHvgH6DtexuYICeRUQsJMm3pfhs3Zuc7CASBsHvLI,35128
CNFgen-0.8.5.dist-info/METADATA,sha256=lNtlbnY8zhj2-u0Agf36O-TRvjCrdbpx8W7pVtB8lyI,1385
CNFgen-0.8.5.dist-info/WHEEL,sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY,92
CNFgen-0.8.5.dist-info/entry_points.txt,sha256=9XrsE79__xcwshnf6UpS6Ji1F9m1Sc5JXBE6qyi9IuE,113
CNFgen-0.8.5.dist-info/top_level.txt,sha256=FDPj9lOEzIBGeq1shXTUI7Q1iqqc2WucqRUDnYBvy_0,18
CNFgen-0.8.5.dist-info/RECORD,,
