Simplify some arithm constraints + manage BC ... - #1246

Simplify some arithm constraints + manage BC ...#1246

ArthurGodet merged 2 commits into

fix/1231_1235chocoteam/choco-solver:fix/1231_1235from

feat/simp_arithm_manage_bcchocoteam/choco-solver:feat/simp_arithm_manage_bcCopy head branch name to clipboard