Add a test (which fails) on dynamic addition of constraints and multiple resolution of the same problem
Merge branch 'feature-mres' into develop