cnfformula/__init__.py,sha256=Cmra_OyuydpOp3bCxvOL_5_OKLP33IjiwJ1fox43pAs,1869
cnfformula/cmdline.py,sha256=MvY7IdKPWk7tSf7ODawM3uMemp2GkB4ElIGae9BecLE,29054
cnfformula/cnf.py,sha256=Cuuev5pPSZlPM6-SPT-u6SdvRPMk99uXLBWrM9jAqeI,45853
cnfformula/cnfgen.py,sha256=S2fLrKJy2-FLS6z1BQGSWOCsHWAUWgO0CF6G2hc3su0,9414
cnfformula/graphs.py,sha256=QSdoEG5Vbi9tXFPOFLeuWWVicPrnOhqG-onztC7kCus,34581
cnfformula/prjdata.py,sha256=etILRgAFwUqthZV72-Te8NZag04h0-bXqA-ecBxwQ8I,633
cnfformula/families/__init__.py,sha256=njM-1sob86sNuO3qwkaqnG63_ksbw8JdI8b6KBWb6BE,1022
cnfformula/families/cliquecoloring.py,sha256=dUuYwn5OqJu4HTlfMcQS3OGPYAZ3aOTY9hJZLMLfvng,4251
cnfformula/families/coloring.py,sha256=B3dJeb3uwmYTDNlvigUjH7_gFtI0Xl2-rHR22aXwZqM,5242
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=P7_l_5HdrXaxtZMGtq57zM6AW01EEmDS6hs329JhyKs,8410
cnfformula/families/pebbling.py,sha256=UFsRLnIVcKG5hiwhmS04nD3Pcg3HEKFZX4_u0Pm0JOY,13912
cnfformula/families/pigeonhole.py,sha256=MCgjbHuHb-n7-ntfkd0B-iZWthPaWWDO7WzfeF1ljr4,8938
cnfformula/families/ramsey.py,sha256=pl78aHPerZbKnR521VRQUf3dHwL2XXkaVsslACLNK18,4500
cnfformula/families/randomformulas.py,sha256=oJhBvx0LeeSHS6aAEMZDlay7NwzVpBnk8pSI_wxyNWo,4113
cnfformula/families/simple.py,sha256=hqY_GnpoEz-4fUWHVwp6zt6vy4AiiTJmX-40KvTK2jw,3200
cnfformula/families/subgraph.py,sha256=zpkQHYD-Zwfr3qJAAsje2fr4CrmQmc0xROCRqnNE8a8,10753
cnfformula/families/subsetcardinality.py,sha256=JkAvOCAXJu_y76necXFMxlXCxBtJMayQSPAEsY01h3s,4418
cnfformula/families/tseitin.py,sha256=n7ag4nYYXuazAt49PLgn02tWLHEg--4BcR5wIaTUM-4,3425
cnfformula/transformations/__init__.py,sha256=P7HSh4F9rcSSnXyAoLOfqnTOxT3m5CLSRlZpb4iAT_s,945
cnfformula/transformations/shuffle.py,sha256=SEP1GueBf5KqV59ER5cZY4mLY1iTN-7hZQW4e7KScP8,3418
cnfformula/transformations/substitutions.py,sha256=_J0Ra3eUi6HXwqB3dsnbM9jYIYxxauhBkHyoqPXnaCo,21954
cnfformula/utils/__init__.py,sha256=pfR1bGUXVqCnl6X3P9iDvcZ-yZPJ1sY6JNxPQ4tLKxs,2851
cnfformula/utils/cnfshuffle.py,sha256=YvVWaXrGKJiNhQreB7PPVdEtYxog-PyiXCeCgbakSaE,4037
cnfformula/utils/dimacstransform.py,sha256=Gc6pL015W2Hnp8Jbro0VjlYoxmcXWWeEbnJrkndbXgw,3080
cnfformula/utils/kthlist2pebbling.py,sha256=NTXjvQuWHeONMR-OZxegNBTYIZD1uPTUEM7i2nZu0-w,3386
cnfformula/utils/solver.py,sha256=w-KgvoajUN8JdQQSpwJVpxpTX1q_LAK7ypn7YeeG5mI,15365
CNFgen-0.8.0.dist-info/LICENSE,sha256=g-ZHvgH6DtexuYICeRUQsJMm3pfhs3Zuc7CASBsHvLI,35128
CNFgen-0.8.0.dist-info/METADATA,sha256=VmbK8rtDSsH85QQJzRQVSFk2-L6i2acX9M4MNxmd_pY,316
CNFgen-0.8.0.dist-info/WHEEL,sha256=S8S5VL-stOTSZDYxHyf0KP7eds0J72qrK0Evu3TfyAY,92
CNFgen-0.8.0.dist-info/entry_points.txt,sha256=AAjLZTFWerHdVqasNmx-2y44s3Z7FQ2zdTiHpTF4MgU,198
CNFgen-0.8.0.dist-info/top_level.txt,sha256=EkeZ3PsJK6cPhvhEfTF6wCX52P4wvrqcLnfx1LfxM0k,11
CNFgen-0.8.0.dist-info/RECORD,,
