Apply Heuristics

apply_complete_the_picture_heuristics(problem_setup, jgex_problem, rng, max_new_points=None)

Apply the “complete the picture” heuristics to the given JGEX problem.

Return type:

tuple[ProblemSetup, JGEXFormulation, dict[HeuristicName, list[JGEXClauseConsequences]]]

apply_heuristics_on_nc_problem(problem_setup, jgex_problem, heuristic, rng, max_new_points=None)
Return type:

tuple[ProblemSetup, list[JGEXClauseConsequences]]

build_nc_problem_from_jgex_problem(jgex_problem, rng)
Return type:

ProblemSetup