cnfformula/__init__.py,sha256=Cmra_OyuydpOp3bCxvOL_5_OKLP33IjiwJ1fox43pAs,1869
cnfformula/cmdline.py,sha256=12U0xBOf-AhwQqH80sVO3fN5gvpcTiaC_IjqtV5gqh4,28511
cnfformula/cnf.py,sha256=LzeGNPgaTewE94AM6jx5cb7WQYmQ7vnV-R8Zzv5rUIU,42957
cnfformula/cnfgen.py,sha256=-1oxVYXag1-c14Ee5lGqYqoy1Zr84nJmBZduLA_vw-M,9419
cnfformula/graphs.py,sha256=b-idlJLh71mzGveS9k1biNa0mo5Bb9MTkK1cgbHJPHQ,34233
cnfformula/prjdata.py,sha256=VGxLjL2kF26BQYc4is-VKoiytQpxacOyjWQDlojl8Tw,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=WXUB4-64m1w9I21F6aYf4_cL1Eielzs4ygXCGwv6rZY,7805
cnfformula/families/pigeonhole.py,sha256=YmMZG94EbayJAlMLqb0yFNZ7j0DtstZk62vGCwUhrL8,9206
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=2Fr0CGrNaGOr3lsQVd0Jn8X91PWNNv1YEndMfjlbw10,8482
cnfformula/families/subsetcardinality.py,sha256=JkAvOCAXJu_y76necXFMxlXCxBtJMayQSPAEsY01h3s,4418
cnfformula/families/tseitin.py,sha256=X6LMoj3PiuRI9AqE_JCFI2n5uUHG3Okp-EDLNWss6d0,3348
cnfformula/transformations/__init__.py,sha256=P7HSh4F9rcSSnXyAoLOfqnTOxT3m5CLSRlZpb4iAT_s,945
cnfformula/transformations/shuffle.py,sha256=qzQyUQ3gdxmvY3-yj3COGvPD_pwSfu6HNLGbZ0AHR90,3407
cnfformula/transformations/substitutions.py,sha256=NLFDjC0JEwKKr5HHIhc3ncFardOdQ9o0dHjLgpwkhqM,18242
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=D5Qld3DfMSEUv9-4N4swu8mLVukhs1o1kP-5lYodueQ,13800
CNFgen-0.7.1.dist-info/DESCRIPTION.rst,sha256=OCTuuN6LcWulhHS3d5rfjdsQtW22n7HENFRh6jC6ego,10
CNFgen-0.7.1.dist-info/entry_points.txt,sha256=AAjLZTFWerHdVqasNmx-2y44s3Z7FQ2zdTiHpTF4MgU,198
CNFgen-0.7.1.dist-info/METADATA,sha256=eyOjjxV3Sung98WkN8trkji2kau7-1GMae5lyayxxJs,286
CNFgen-0.7.1.dist-info/metadata.json,sha256=eg1W1D3B3odw76A8LQH2dgFym6Xtd66fNR6X8X90Y9c,991
CNFgen-0.7.1.dist-info/RECORD,,
CNFgen-0.7.1.dist-info/top_level.txt,sha256=EkeZ3PsJK6cPhvhEfTF6wCX52P4wvrqcLnfx1LfxM0k,11
CNFgen-0.7.1.dist-info/WHEEL,sha256=54bVun1KfEBTJ68SHUmbxNPj80VxlQ0sHi4gZdGZXEY,92
