Problem
Implements objects to represent problems, theorems, proofs, traceback.
- class ProblemJGEX(name: str, constructions: tuple[Clause, ...], goals: tuple[tuple[str, ...], ...])
Bases:
NamedTupleDescribe one problem to solve.
Create new instance of ProblemJGEX(name, constructions, goals)
-
name:
str Alias for field number 0
-
goals:
tuple[tuple[str,...],...] Alias for field number 2
- classmethod parse_txt_file(fname)
- Return type:
dict[str,ProblemJGEX]
- classmethod from_text(s)
Load a problem from a str object.
- Return type:
- classmethod from_file(problems_path, problem_name)
tranlate = True by default for better LLM training
- Return type:
- with_more_construction(constructions)
- Return type:
- renamed()
- Return type:
- points()
- Return type:
tuple[str,...]
-
name: