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
]