LICENSE
README.md
pyproject.toml
src/FormalGeo.egg-info/PKG-INFO
src/FormalGeo.egg-info/SOURCES.txt
src/FormalGeo.egg-info/dependency_links.txt
src/FormalGeo.egg-info/requires.txt
src/FormalGeo.egg-info/top_level.txt
src/formalgeo/__init__.py
src/formalgeo/core/__init__.py
src/formalgeo/core/engine.py
src/formalgeo/data/__init__.py
src/formalgeo/data/data.py
src/formalgeo/parse/__init__.py
src/formalgeo/parse/basic.py
src/formalgeo/parse/inverse_parse_m2f.py
src/formalgeo/parse/parse_cdl.py
src/formalgeo/parse/parse_pgdl.py
src/formalgeo/parse/parse_tgdl.py
src/formalgeo/problem/__init__.py
src/formalgeo/problem/condition.py
src/formalgeo/problem/problem.py
src/formalgeo/solver/__init__.py
src/formalgeo/solver/backward_search.py
src/formalgeo/solver/forward_search.py
src/formalgeo/solver/interactive.py
src/formalgeo/tools/__init__.py
src/formalgeo/tools/output.py
src/formalgeo/tools/utils.py
tests/test.py