deutil/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
deutil/__main__.py,sha256=N4opFjB3ht849uxqQn0xwmB8M69BvD1xcrY7bSnwU4M,4013
deutil/convert.py,sha256=6ZR03H_IR0hyKwpdXBTx9k-6-XedMaDzfdywwN2zKD0,4762
deutil/countermodel.py,sha256=UdiOwJVu9ZICjSg6qlNv6TmLunarMTSY2GBMQeGYGro,2068
deutil/expr.py,sha256=zD0UdmYG8g1m0Y_6SLQooECB67c4j-TDp6h9a8p-nQs,22886
deutil/fol_cm.py,sha256=1rqrw6G5y2XeCtpFhZuCDio3OG6WDfp_QsV3MomIQW0,5958
deutil/proof.py,sha256=tRNB9Kqj5hZqv8xeKtl2gN4kRWEsxEDuAJNzXIii_a4,12875
deutil/rules.py,sha256=OmjI5Z71MuSsELhQe9u92I7XvwfXPcsnJNn1qiHLQ9w,20146
deutil/termutils.py,sha256=cP4OwtqJ6H-XXiCw9jwX0HdA9Wx0rwk7dO_Sfr1LY28,396
deutil/truthtables.py,sha256=_4JeUyUL35Q2S8gqHZmnXK88WlVEM6kKQS3hr27gXxw,2823
deutil-0.0.1.dist-info/METADATA,sha256=9qB_yq3FvgvJuNwzog-dUZE2CTrHfBdwId53rcTqAGo,6672
deutil-0.0.1.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
deutil-0.0.1.dist-info/entry_points.txt,sha256=chEkUTfNaG-FTS_EgJyMUOW92wtEWBy34V6JrbWq-Ks,48
deutil-0.0.1.dist-info/top_level.txt,sha256=QgG7bpQc3epuDgiTjDuW2s41jddClz_n-7p1i6tJYW0,7
deutil-0.0.1.dist-info/RECORD,,
