README.md
pyproject.toml
folutil/__init__.py
folutil/__main__.py
folutil/convert.py
folutil/countermodel.py
folutil/expr.py
folutil/fol_cm.py
folutil/proof.py
folutil/rules.py
folutil/termutils.py
folutil/truthtables.py
folutil.egg-info/PKG-INFO
folutil.egg-info/SOURCES.txt
folutil.egg-info/dependency_links.txt
folutil.egg-info/entry_points.txt
folutil.egg-info/requires.txt
folutil.egg-info/top_level.txt
tests/test_arbitrary_term_types.py
tests/test_complex.py
tests/test_countermodels.py
tests/test_proof_bad_symbolic_terms.py
tests/test_proof_error_cases.py
tests/test_proof_success_cases.py
tests/test_truthtables.py