README.md
pyproject.toml
deutil/__init__.py
deutil/__main__.py
deutil/convert.py
deutil/countermodel.py
deutil/expr.py
deutil/fol_cm.py
deutil/proof.py
deutil/rules.py
deutil/termutils.py
deutil/truthtables.py
deutil.egg-info/PKG-INFO
deutil.egg-info/SOURCES.txt
deutil.egg-info/dependency_links.txt
deutil.egg-info/entry_points.txt
deutil.egg-info/requires.txt
deutil.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