cnfgen/__init__.py,sha256=0qR7leCt6PgyxQKHvPxRavgtHsBDPrj8pqCf1Az8fgo,2947
cnfgen/cnf.py,sha256=qRudafCTG4N0jP596w4crZ7uL1mh9AerB1YthVt4eTQ,47095
cnfgen/graphs.py,sha256=mr4HoHsJRrA8BmoZSKa7pSMgZTNylXN32-oMcVOSbys,34947
cnfgen/info.py,sha256=kK_lpaSePIhxYnqsuKTBdm2oE8IwugLawGbtV0oPJ1k,1189
cnfgen/version.py,sha256=763W-O42ZT13-JCTSRDnfLbaIOgi1nXmHqFnac82ZQs,18
cnfgen/clihelpers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
cnfgen/clihelpers/counting_helpers.py,sha256=hyCNTTb0AMw1hMYYqcjKXLFq-8_6nTfXnJwCa7h_sGU,5176
cnfgen/clihelpers/cpls_helpers.py,sha256=_t4KMtpuLY6e3jHh-gokXl-wzm8kVJWwScTOXmnimbY,1473
cnfgen/clihelpers/dimacs_helpers.py,sha256=3CQMTNVNYEcBO3468HSOm6xpPAKFY_QrCg3Q-w4B8VM,1783
cnfgen/clihelpers/formula_helpers.py,sha256=l_0RyYxgsnvHvqeTipPzs7thNl4y0jpf6xwymLAt44o,683
cnfgen/clihelpers/graph_helpers.py,sha256=P863qKxbXx2KPQ0vKc7kr_LRsWOeUVrS-rncrQv0iGk,8797
cnfgen/clihelpers/ordering_helpers.py,sha256=22G19rMxJDs02B3uaAZL_1cM9F8f9NJ_FxGPgKOcsZU,4222
cnfgen/clihelpers/pebbling_helpers.py,sha256=5MOSSFS13efHcfa_s9zGVkbHhX5-18RyiAQPE-fMe_0,3344
cnfgen/clihelpers/php_helpers.py,sha256=epFWc9PPsvEkVAJHo8MN9YjPF6aS3-8-G87UyPFDMlI,9835
cnfgen/clihelpers/pitfall_helpers.py,sha256=qWIni7Q-V0sQmV-i1aJECPos1E40m3EgeRqsfCWdiG4,2630
cnfgen/clihelpers/simple_helpers.py,sha256=LBx_Y0VY9qftr1twK3BtWtjnEs38fKHcRQy25_JyNeI,4559
cnfgen/clihelpers/transformation_helpers.py,sha256=8ZU5OEiIZFbd4GWGekD4Ld3VpkLvsjmaQg03zu4X-DY,8827
cnfgen/clitools/__init__.py,sha256=_oCqRtRHbV9mS7JySQGjTH-UbpfqMrsfheLef0FiYM8,785
cnfgen/clitools/cmdline.py,sha256=_pp_Y4J2tFLljrvpBKKJFRtSw4X6QDPc5hP1KdvrZJY,6837
cnfgen/clitools/cnfgen.py,sha256=mD3swdLi4E3OyVAZKbhXNmTd6jrS1GBJk5hGBTRbZHs,14711
cnfgen/clitools/cnfshuffle.py,sha256=UlCojAieo-qO8cYH0UKsySm0nyr2T5OYHA5_hv4uWrw,5686
cnfgen/clitools/graph_cmdline.py,sha256=UGtrDSRCO-v1HMwmA6ymPkTP3-0py9Bf5tJVBkqS9B4,27489
cnfgen/clitools/kthlist2pebbling.py,sha256=k5vIkFtzDvj9DYvc3jyltB31u3P6olKzLIrlUuSey9g,4630
cnfgen/clitools/msg.py,sha256=rwOR3BocrG8PDd6rFpooF3NefJKA9eKxc_iW0mXEUd4,1769
cnfgen/families/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
cnfgen/families/cliquecoloring.py,sha256=Bs_RMWJgUvFfGkRDuSZ9ZEa2iXodfggpa1eq7t_fh2Y,3433
cnfgen/families/coloring.py,sha256=mc-ruODA8D2VFSukFOZ5waaCbZlEU-6SZZzky6U9rEM,3909
cnfgen/families/counting.py,sha256=r8JGMmXV7OHK58SN-vhLBJ4suyrZO-1rrGgG_uDK21I,2176
cnfgen/families/cpls.py,sha256=boaBsWWZ7-sIl7TuMpNZdhKuk3X5U88gVkP0eCja2r4,3619
cnfgen/families/dominatingset.py,sha256=VuNzGduus0IrBcSYQl1XeMOM1TSs84-za2iffXXzhGc,3288
cnfgen/families/graphisomorphism.py,sha256=3jW9iCOz7gwZube50eGXE-1fRI9rPzo0WYvnm77ttcg,2745
cnfgen/families/ordering.py,sha256=chMRHQM41w9SaZ8Lu6zoSVA5oaTk7SQ42DaPULdUy8Y,5674
cnfgen/families/pebbling.py,sha256=XLIpkFx2x7zH4TAaNSBU_MhF6AeJHXeORrTdez-00PY,11305
cnfgen/families/pigeonhole.py,sha256=CJC0mgEtEqunb73C7k7EjUel-X5R4RhCW6xK0KkDm6w,5935
cnfgen/families/pitfall.py,sha256=HiyGqPwkZZeNIxvYRlCKri716OiSN0VOnY9iN6421kg,4933
cnfgen/families/ramsey.py,sha256=VL8XZwt6scEJnZn1NKRyrJySHQHhHL9_fvtmko6XJM8,2686
cnfgen/families/randomformulas.py,sha256=CtzFVPYZxacNm3gubPdunN_TcE2bpSVl3bWIy_wwI6U,3214
cnfgen/families/subgraph.py,sha256=9XHBDogL-M7R4liHXv-xXBMjsRfYIqHT-HLR8Nc7ggc,7307
cnfgen/families/subsetcardinality.py,sha256=u_avr3XjiKC4Zw1ARfUoVYCBnCsu0FVAv-L-xDIYQ8g,3700
cnfgen/families/tseitin.py,sha256=woNaZAT5TAom7i6sAKS0wjnDKOqd9eILEp6dHDRNGu4,1408
cnfgen/transformations/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
cnfgen/transformations/shuffle.py,sha256=wvsviniQLeSEl3CCkKoefIZS5yEGXhOtLkUuUqw50aI,2444
cnfgen/transformations/substitutions.py,sha256=n4WDt864DpuZjwRZwiUSFtjzO7IevGj0j0Fvfxk6EJQ,16925
cnfgen/utils/__init__.py,sha256=YWClia8S-syatU91BAhPPsMXLtGKktp9sGY1E18VBr4,105
cnfgen/utils/parsedimacs.py,sha256=YkVJb-SCFk2iRVKeHvmHUalMoPu3T3Vo7SnIHSq9URA,2646
cnfgen/utils/solver.py,sha256=_RcyCyWhOGOXaCihRNgKG_uPOCgIzqMNM6eQLew1VTQ,15380
CNFgen-0.8.7.dist-info/LICENSE,sha256=g-ZHvgH6DtexuYICeRUQsJMm3pfhs3Zuc7CASBsHvLI,35128
CNFgen-0.8.7.dist-info/METADATA,sha256=4vv2WyvHPixmUwEE_5bQLW4YEX7c5-_dhLekOwMvKo0,1295
CNFgen-0.8.7.dist-info/WHEEL,sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY,92
CNFgen-0.8.7.dist-info/entry_points.txt,sha256=NvD4b42l_xPrB42l8iuR1uJXe2EW68-FSrCqvMNCIHY,101
CNFgen-0.8.7.dist-info/top_level.txt,sha256=c7QhmJvPfnfYgCn8F-PS-f6s5E3ABT5pmMf2JTcRGz8,7
CNFgen-0.8.7.dist-info/RECORD,,
