This solver is used for solving MCO problems in Context.
For that, it is derived of ConstraintSolver<T> using float as type for the objective values.