Testing

class StubJGEXSolver

Bases: SolverInterface

with_outputs_for_problem_clauses(problem, run_infos, proof_state)

Return type:

Self

solve_problem(nc_problem, rng, sub_problem, larger_problem)

Solve a subproblem .

Return type:

tuple[RunInfos, ProofState]