Avoid overflow in float interval medians#231

zayenz merged 3 commits into

mainGecode/gecode:mainfrom

feature/safe-float-medianGecode/gecode:feature/safe-float-medianCopy head branch name to clipboard