Package ru.ispras.microtesk.basis.solver
-
Interface Summary Interface Description Solver<T> Solver
defines an interface of solvers. -
Class Summary Class Description Bias Bias
represents a constraint bias (i.e.BiasedConstraints<T> BiasedConstraints
represents a set of biased constraints.BiasedConstraints.Builder<T> BiasedConstraints.Entry<T> SolverResult<T> SolverResult
defines result of anSolver
. -
Enum Summary Enum Description Solver.Mode Solver.Mode
represents a solver mode.SolverResult.Status