Gecode::min propagator.