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.