ConstrainedSolver: allow saving memory by disabling support for constraint-rhs updates in resolve.

Merged Martin Heistermann requested to merge constrained-solver-save-memory into master

Merge request reports