Api
- class GeometricSolver(proof, rules, deductive_agent)
Bases:
object- run()
- Return type:
bool
- write_proof_steps(out_file=None)
- draw_figure(*, out_file=None)
- write_run_infos(out_file=None)
- write_all_outputs(out_folder_path=None)
- class GeometricSolverBuilder(seed=None)
Bases:
object- property defs: dict[str, DefinitionJGEX]
- build(max_attempts=10000)
- Return type:
- load_problem_from_file(problems_path, problem_name, rename=False)
translate = True for better LLM training
- Return type:
Self
- load_problem(problem)
- Return type:
Self
- del_goals()
- Return type:
Self
- load_problem_from_txt(problem_txt)
- Return type:
Self
- load_rules_from_txt(rule_txt)
- Return type:
Self
- load_rules_from_file(rules_path=None)
- Return type:
Self
- load_defs_from_file(defs_path=None)
- Return type:
Self
- load_defs_from_txt(defs_txt)
- Return type:
Self
- with_deductive_agent(deductive_agent)
- Return type:
Self
- load_geogebra(path)
- Return type:
Self
- load_goal(goal)
- Return type:
Self
- load_goals_file(path)
- Return type:
Self
- with_problem_path(path)
- Return type:
Self
- without_figure()
- Return type:
Self