normal_form/__init__.py,sha256=9QKzcFNRh78t7N17yID4ZKQ19zvBVdzt9ylWhRjH5XI,114
normal_form/cnf.py,sha256=rccHwQPFf1h0EdjONTFsVLWaU0lFgivXzDR4WTq7g6U,14241
normal_form/cnf_simplify.py,sha256=ROFso0SVacEtNJ-RPNAjXDvGNUDUattDW1KWsJbhXpY,3689
normal_form/prop.py,sha256=Qp9pfK-rqQ1YsGL3mqM6xbv2JhhPdgSu5NOjPlLMVpA,3823
normal_form/sat.py,sha256=PfoQGdDzXP8lfzTqvW7v8PEvbUajmQqRWom9akH0obk,8147
normal_form/sxpr.py,sha256=MbkkDrbFUxwCVpAT6aeGVgTWH87zmWjyjpSYPPxbg14,2734
py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tests/test_cnf.py,sha256=YY-JXf0z4WYel0EGPPi0y0ZMKbSr6_-T5gfzinJFCaw,14101
tests/test_cnf_simplify.py,sha256=PX89aQaSBOq7-rSv7PoVg65foEiKPLGZvpLBC1uAHXc,1509
tests/test_normal_form.py,sha256=17FD6yxDI5WMa_40WK7VxdSfcecvpRMz9hkSDKqW1RI,123
tests/test_prop.py,sha256=BD136Az7fH96vBSj5jgSo0B7t4-B_xMsPDR2Xv8EJOw,11541
tests/test_sat.py,sha256=0-2b8dAygh61oO52Z78IBkgGN_KBUmnlN5kiTJW0GIc,3168
tests/test_sxpr.py,sha256=8Eb84lpO08NXVHO6E2ptT5d1KZRDi52TWVGjSzWwTmQ,1077
normal_form-0.1.3.dist-info/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
normal_form-0.1.3.dist-info/WHEEL,sha256=gSF7fibx4crkLz_A-IKR6kcuq0jJ64KNCkG8_bcaEao,88
normal_form-0.1.3.dist-info/METADATA,sha256=4yLfvYPJkzamQwtdKv3VbtKY41VrRbMgay3Pkvm-GW8,6246
normal_form-0.1.3.dist-info/RECORD,,
