CNFgen-0.7.3.dist-info/METADATA,sha256=548oiQZxIsOofumHubeZ_4v7qVIUGZVb4yGEzp8xTYU,327
CNFgen-0.7.3.dist-info/RECORD,,
CNFgen-0.7.3.dist-info/WHEEL,sha256=_V8uWu5F_h-lvAz5Mbq4oZqV_uCfL4cHgm4IIlDevzU,92
CNFgen-0.7.3.dist-info/entry_points.txt,sha256=AAjLZTFWerHdVqasNmx-2y44s3Z7FQ2zdTiHpTF4MgU,198
CNFgen-0.7.3.dist-info/top_level.txt,sha256=EkeZ3PsJK6cPhvhEfTF6wCX52P4wvrqcLnfx1LfxM0k,11
cnfformula/__init__.py,sha256=Cmra_OyuydpOp3bCxvOL_5_OKLP33IjiwJ1fox43pAs,1869
cnfformula/cmdline.py,sha256=JaxaC2CjK_kH2l5nQPEFhqPaf9R5LX1ys9iMGIzgFtw,28992
cnfformula/cnf.py,sha256=roRAqano-mPXt-oaqWMT-Uf39glgtS95eYwK6FmPTgU,45884
cnfformula/cnfgen.py,sha256=1rCRQ2U6nY3XX4sHd4OdekQ9KLfQ8iWFC8zQ-L-uK3A,9417
cnfformula/graphs.py,sha256=QjLPqr-94uiNfNYfYpm7EeA8rWn5v2rqhUfQcGuponE,34586
cnfformula/prjdata.py,sha256=CAQyqv2KFemBtVIjMUd3XNPjeRsO9H8ywwgEu4n4kEQ,639
cnfformula/families/__init__.py,sha256=njM-1sob86sNuO3qwkaqnG63_ksbw8JdI8b6KBWb6BE,1022
cnfformula/families/cliquecoloring.py,sha256=dUuYwn5OqJu4HTlfMcQS3OGPYAZ3aOTY9hJZLMLfvng,4251
cnfformula/families/coloring.py,sha256=c-3plOXAuc1c2Aww4OiGuzWK7UJk5ZAg6MCO6039eC0,5229
cnfformula/families/counting.py,sha256=XjGUXvqUlaA_5T-OyzdcYkzgZG84kG2CqlI72ICDZ2A,4267
cnfformula/families/dominatingset.py,sha256=6NUVbgVzov05zi86ZXt8B959LdaeiHAUoNPpSaF0WPE,4328
cnfformula/families/graphisomorphism.py,sha256=6gu170Su6YgPWrR2BiqCgPyXJjrPUDbDhYGvhaS9jes,4562
cnfformula/families/ordering.py,sha256=5iT229MprB9lPWD6JzUbTjtNry9yB4b6DX-0Nej88qQ,8413
cnfformula/families/pebbling.py,sha256=6DkqrugsDRGR1W3nmwh1W7D2RYJjAwEFpu12ZvpAdNQ,13929
cnfformula/families/pigeonhole.py,sha256=R1Tw_S4nfnp2QGd0TQUdR92uCGXqEBzxGRViJ7ncL4I,8942
cnfformula/families/ramsey.py,sha256=AY5cd9JksXAjd06suLEmCLRXTRqmCDQsvVDceg02EGE,4504
cnfformula/families/randomformulas.py,sha256=MCUp4doTAvkhMP69jF2JRXCBPIb0puRn7Ek-8dhZmtg,4114
cnfformula/families/simple.py,sha256=hqY_GnpoEz-4fUWHVwp6zt6vy4AiiTJmX-40KvTK2jw,3200
cnfformula/families/subgraph.py,sha256=O8qSOdO7q6qbkNSEYy4tsVFO94vjr5K_cyK5_Pkhps8,10707
cnfformula/families/subsetcardinality.py,sha256=JkAvOCAXJu_y76necXFMxlXCxBtJMayQSPAEsY01h3s,4418
cnfformula/families/tseitin.py,sha256=LiPhAeh_OQRtIGavZe3W727uMq4RXJixmoWIPw6Jx7A,3426
cnfformula/transformations/__init__.py,sha256=P7HSh4F9rcSSnXyAoLOfqnTOxT3m5CLSRlZpb4iAT_s,945
cnfformula/transformations/shuffle.py,sha256=qzQyUQ3gdxmvY3-yj3COGvPD_pwSfu6HNLGbZ0AHR90,3407
cnfformula/transformations/substitutions.py,sha256=bn7HWWfXGTPxZChrMVrl_Ns5BkF1etP9IXY4eQy49t4,21985
cnfformula/utils/__init__.py,sha256=mTuoZjiljtC_H1qHgxf_r0B2mkC5P3GbqrVc8ZHYt2Y,2889
cnfformula/utils/cnfshuffle.py,sha256=DZaMTmQYYzYU-MSuu74RX17_TK9KAAeADS_xZ44E9dQ,4068
cnfformula/utils/dimacstransform.py,sha256=RMLedC5B0uEIJNfX2QrcTfsdCslYYNVdG8ZnQAvlC_A,3117
cnfformula/utils/kthlist2pebbling.py,sha256=No6ncTi15iqfLNJ4WaGPtWHUSbgM4RlzhcfHwoGDSwQ,3423
cnfformula/utils/solver.py,sha256=6kGl70NlRnM009Z7kPw9-WFbBVmtS2gqsROmp8YxhOI,15141
