LICENSE.commercial.md
README.md
pyproject.toml
deeperthawt/__init__.py
deeperthawt/_backends.py
deeperthawt/_backends_core.py
deeperthawt/cli.py
deeperthawt.egg-info/PKG-INFO
deeperthawt.egg-info/SOURCES.txt
deeperthawt.egg-info/dependency_links.txt
deeperthawt.egg-info/entry_points.txt
deeperthawt.egg-info/requires.txt
deeperthawt.egg-info/top_level.txt
deeperthawt/_vendored/__init__.py
deeperthawt/_vendored/known_theorems.py
deeperthawt/_vendored/logic_engine.py
deeperthawt/_vendored/math_solver_oracle.py
deeperthawt/_vendored/nl_math_parser.py
deeperthawt/_vendored/python_knowledge.py
deeperthawt/_vendored/scientific_knowledge.py