folutil/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
folutil/__main__.py,sha256=N4opFjB3ht849uxqQn0xwmB8M69BvD1xcrY7bSnwU4M,4013
folutil/convert.py,sha256=6ZR03H_IR0hyKwpdXBTx9k-6-XedMaDzfdywwN2zKD0,4762
folutil/countermodel.py,sha256=fufHROqvNqa0bS4Z2q1GFMOleNSrtPOPRBvz25yAiBM,2069
folutil/expr.py,sha256=zD0UdmYG8g1m0Y_6SLQooECB67c4j-TDp6h9a8p-nQs,22886
folutil/fol_cm.py,sha256=1rqrw6G5y2XeCtpFhZuCDio3OG6WDfp_QsV3MomIQW0,5958
folutil/proof.py,sha256=uPWelIBtFk7q67V6dRpnJ2dSJJEDWZq8pb5NFkXiLB4,13245
folutil/rules.py,sha256=OmjI5Z71MuSsELhQe9u92I7XvwfXPcsnJNn1qiHLQ9w,20146
folutil/termutils.py,sha256=cP4OwtqJ6H-XXiCw9jwX0HdA9Wx0rwk7dO_Sfr1LY28,396
folutil/truthtables.py,sha256=_4JeUyUL35Q2S8gqHZmnXK88WlVEM6kKQS3hr27gXxw,2823
folutil-0.1.0.dist-info/METADATA,sha256=VjoHZ4eij8LkbzCl-jkVTLmeEM3XPhZf7VHkv5STxxs,6632
folutil-0.1.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
folutil-0.1.0.dist-info/entry_points.txt,sha256=QU6nXttThJhfSsoYWmSITd8jmmTYqWOIzS4LZzGFGo0,50
folutil-0.1.0.dist-info/top_level.txt,sha256=K-xOPbN9YzqqcY-1K-xB9oK4AymYLvptrVVeyttj-ic,8
folutil-0.1.0.dist-info/RECORD,,
