Problem Builder
- class JGEXProblemBuilder(rng=None, problem=None, max_attempts_per_clause=5)
Bases:
ProblemBuilder- build(max_attempts_to_satisfy_goals_numerically=100)
Build a problem to be fed to the solver.
- Return type:
- with_problem(problem)
- Return type:
Self
- with_problem_from_txt(problem_txt, problem_name='problem')
- Return type:
Self
- include_auxiliary_clauses(include=True)
- Return type:
Self
- with_problem_from_file(problems_path, problem_name, rename=False)
- Return type:
Self
- with_defs(defs)
- Return type:
Self
- property clauses_consequences: dict[JGEXClause, JGEXClauseConsequences]