Solver

class SolverInterface

Bases: ABC

abstractmethod solve_problem(nc_problem, rng, sub_problem, larger_problem)

Solve a subproblem .

Return type:

tuple[RunInfos, ProofState]

exception SolverError

Bases: Exception

Error when solving a problem.

class NewclidSolver

Bases: SolverInterface

solve_problem(nc_problem, rng, sub_problem, larger_problem)

Solve a subproblem .

Return type:

tuple[RunInfos, ProofState]