.coveragerc
.gitignore
.pre-commit-config.yaml
LICENSE
MANIFEST.in
README.rst
pyproject.toml
requirements.txt
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
docs/Makefile
docs/README.md
docs/conf.py
docs/imgen.py
docs/index.rst
docs/make.bat
docs/reformat.py
docs/_static/AlphaGeometryMainPicture.svg
docs/_static/orthocenter_consequence_aux.dependency_graph.html
docs/_static/Images/overview.svg
docs/_static/Images/defs/angle_bisector.png
docs/_static/Images/defs/angle_mirror.png
docs/_static/Images/defs/cc_tangent.png
docs/_static/Images/defs/circle.png
docs/_static/Images/defs/eq_quadrangle.png
docs/_static/Images/defs/eq_triangle.png
docs/_static/Images/defs/eqangle2.png
docs/_static/Images/defs/eqdia_quadrangle.png
docs/_static/Images/defs/eqdistance.png
docs/_static/Images/defs/foot.png
docs/_static/Images/defs/free.png
docs/_static/Images/defs/incenter.png
docs/_static/Images/defs/incenter2.png
docs/_static/Images/defs/iso_trapezoid.png
docs/_static/Images/dependency_building/build_dependency.svg
docs/_static/Images/dependency_building/build_dependency_from_statement.svg
docs/_static/Images/dependency_building/build_resolved_dependency.svg
docs/_static/Images/dependency_building/dependency_structure.svg
docs/_static/Images/dependency_building/extend.svg
docs/_static/Images/dependency_building/extend_by_why.svg
docs/_static/Images/dependency_building/extend_many.svg
docs/_static/Images/rules/r00.png
docs/_static/Images/rules/r01.png
docs/_static/Images/rules/r02.png
docs/_static/Images/rules/r03.png
docs/_static/Images/rules/r04.png
docs/_static/Images/rules/r05.png
docs/_static/Images/rules/r06.png
docs/_static/Images/rules/r07.png
docs/_static/Images/rules/r08.png
docs/_static/Images/rules/r09.png
docs/_static/Images/rules/r11.png
docs/_static/Images/rules/r12.png
docs/_static/Images/rules/r13.png
docs/_static/Images/rules/r14.png
docs/_static/Images/rules/r15.png
docs/_static/Images/rules/r16.png
docs/_static/Images/rules/r17.png
docs/_static/Images/rules/r18.png
docs/_static/Images/rules/r19.png
docs/_static/Images/rules/r20.png
docs/_static/Images/rules/r21.png
docs/_static/Images/rules/r22.png
docs/_static/Images/rules/r23.png
docs/_static/Images/rules/r24.png
docs/_static/Images/rules/r25.png
docs/_static/Images/rules/r26.png
docs/_static/Images/rules/r27.png
docs/_static/Images/rules/r28.png
docs/_static/Images/rules/r29.png
docs/_static/Images/rules/r30.png
docs/_static/Images/rules/r31.png
docs/_static/Images/rules/r32.png
docs/_static/Images/rules/r33.png
docs/_static/Images/rules/r34.png
docs/_static/Images/rules/r35.png
docs/_static/Images/rules/r36.png
docs/_static/Images/rules/r37.png
docs/_static/Images/rules/r38.png
docs/_static/Images/rules/r39.png
docs/_static/Images/rules/r40.png
docs/_static/Images/rules/r41.png
docs/_static/Images/rules/r42.png
docs/_static/Images/rules/r43.png
docs/_static/Images/rules/r44.png
docs/_static/Images/rules/r45.png
docs/_static/Images/rules/r46.png
docs/_static/Images/rules/r47.png
docs/_static/Images/rules/r48.png
docs/_static/Images/rules/r49.png
docs/_static/styles/custom.css
docs/manual/adding_problems.rst
docs/manual/adding_rules.rst
docs/manual/overview.rst
docs/manual/python_interface.rst
docs/manual/default_files/definitions.rst
docs/manual/default_files/index.rst
docs/manual/default_files/rules.rst
examples/run_individual_rules.py
examples/solve_single_problem.py
problems_datasets/examples.txt
problems_datasets/imo_ag_30.txt
problems_datasets/imo_not_ag.txt
problems_datasets/jgex_ag_231.txt
problems_datasets/new_problems.txt
problems_datasets/testing_minimal_rules.txt
src/newclid/__init__.py
src/newclid/__main__.py
src/newclid/_lazy_loading.py
src/newclid/api.py
src/newclid/combinatorics.py
src/newclid/configs.py
src/newclid/geometry.py
src/newclid/listing.py
src/newclid/match_theorems.py
src/newclid/points_manipulation.py
src/newclid/predicates.py
src/newclid/pretty.py
src/newclid/problem.py
src/newclid/proof.py
src/newclid/proof_writing.py
src/newclid/ratios.py
src/newclid/run_loop.py
src/newclid/symbols_graph.py
src/newclid/theorem.py
src/newclid/trace_back.py
src/newclid.egg-info/PKG-INFO
src/newclid.egg-info/SOURCES.txt
src/newclid.egg-info/dependency_links.txt
src/newclid.egg-info/entry_points.txt
src/newclid.egg-info/requires.txt
src/newclid.egg-info/top_level.txt
src/newclid/agent/__init__.py
src/newclid/agent/agents_interface.py
src/newclid/agent/breadth_first_search.py
src/newclid/agent/human_agent.py
src/newclid/agent/registry.py
src/newclid/default_configs/defs.txt
src/newclid/default_configs/legacy_defs.txt
src/newclid/default_configs/new_rules.txt
src/newclid/default_configs/rules.txt
src/newclid/defs/__init__.py
src/newclid/defs/clause.py
src/newclid/defs/definition.py
src/newclid/dependencies/__init__.py
src/newclid/dependencies/caching.py
src/newclid/dependencies/dependency.py
src/newclid/dependencies/dependency_building.py
src/newclid/dependencies/why_graph.py
src/newclid/dependencies/why_predicates.py
src/newclid/numerical/__init__.py
src/newclid/numerical/angles.py
src/newclid/numerical/check.py
src/newclid/numerical/distances.py
src/newclid/numerical/draw_figure.py
src/newclid/numerical/geometries.py
src/newclid/numerical/sketch.py
src/newclid/reasoning_engines/__init__.py
src/newclid/reasoning_engines/engines_interface.py
src/newclid/reasoning_engines/formulas.py
src/newclid/reasoning_engines/algebraic_reasoning/__init__.py
src/newclid/reasoning_engines/algebraic_reasoning/algebraic_manipulator.py
src/newclid/reasoning_engines/algebraic_reasoning/geometric_tables.py
src/newclid/statements/__init__.py
src/newclid/statements/adder.py
src/newclid/statements/checker.py
src/newclid/statements/enumerator.py
src/newclid/statements/handler.py
src/newclid/statements/statement.py
tests/__init__.py
tests/fixtures.py
tests/test_combinatorics.py
tests/test_construction.py
tests/test_enumerator.py
tests/test_geometry_equalities.py
tests/test_individual_rules.py
tests/test_numericals_sketchs.py
tests/test_problem.py
tests/test_proof_state_api.py
tests/test_trace_back.py
tests/test_xconst_predicates.py
tests/deductive_agents/__init__.py
tests/deductive_agents/test_breadth_first_search.py
tests/deductive_agents/test_human_agent.py
tests/reasoning_engines/__init__.py
tests/reasoning_engines/test_algebraic_reasoning.py
tests/reasoning_engines/test_formulas.py
tests/reasoning_engines/test_track_ar_changes_through_commits.py