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=_WCRfAsXte2wrrLlTk5wZH-elP1Dm03mlAAsI4iiszo,8083
normal_form/sxpr.py,sha256=MbkkDrbFUxwCVpAT6aeGVgTWH87zmWjyjpSYPPxbg14,2734
normal_form-0.1.1.dist-info/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
normal_form-0.1.1.dist-info/WHEEL,sha256=bbU3AyvhQ312rVm7zzRQjs6axI1UYWC3nmFA2E6FFSI,88
normal_form-0.1.1.dist-info/METADATA,sha256=oPG4XqtGAc7LIBlj38lYKKD64qOZEe9Oq1ldwSsbjg4,6091
normal_form-0.1.1.dist-info/RECORD,,
