Interface IFixedPointSolver<T extends IVariable<T>>

All Known Implementing Classes:
AbstractFixedPointSolver, BitVectorSolver, BooleanSolver, DataflowSolver, DefaultFixedPointSolver

public interface IFixedPointSolver<T extends IVariable<T>>
Solves a set of constraints