public interface Solver<T>
Solver
defines an interface of solvers.Modifier and Type | Interface and Description |
---|---|
static class |
Solver.Mode
Solver.Mode represents a solver mode. |
Modifier and Type | Method and Description |
---|---|
SolverResult<T> |
solve(Solver.Mode mode)
Checks whether the equation clause is satisfiable and returns a solution (if required).
|
SolverResult<T> solve(Solver.Mode mode)
mode
- the solver mode.SAT
if the equation clause is satisfiable; UNSAT
otherwise.