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:
ExceptionError 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]