.gitignore
.pre-commit-config.yaml
AlphaGeometryMainPicture.svg
LICENSE
MANIFEST.in
README.md
pyproject.toml
requirements.txt
run.sh
setup.py
shell.nix
.github/workflows/coverage.yml
.github/workflows/documentation.yml
.github/workflows/pypi.yml
.github/workflows/tests-3.9-3.12_.yml
.github/workflows/tests-perfs.yml
problems_datasets/examples.txt
problems_datasets/imo_ag_30.txt
problems_datasets/jgex_ag_231.txt
src/newclid/__init__.py
src/newclid/api.py
src/newclid/ar.py
src/newclid/auxiliary_constructions.py
src/newclid/configs.py
src/newclid/dd.py
src/newclid/ddar.py
src/newclid/geometry.py
src/newclid/graph.py
src/newclid/graph_utils.py
src/newclid/numericals.py
src/newclid/pretty.py
src/newclid/problem.py
src/newclid/trace_back.py
src/newclid/write_proof.py
src/newclid.egg-info/PKG-INFO
src/newclid.egg-info/SOURCES.txt
src/newclid.egg-info/dependency_links.txt
src/newclid.egg-info/requires.txt
src/newclid.egg-info/top_level.txt
src/newclid/default_configs/defs.txt
src/newclid/default_configs/rules.txt
tests/ar_test.py
tests/auxiliary_constructions_test.py
tests/dd_test.py
tests/ddar_test.py
tests/geometry_test.py
tests/graph_test.py
tests/graph_utils_test.py
tests/numericals_test.py
tests/problem_test.py
tests/trace_back_test.py