Deal with bool2int
Merge branch 'develop' of github.com:chocoteam/choco3 into feature-mzn
Fix bool2intbuilder + fix ICF.sum when BoolSum is detected + improve AllDiff BC
change assert message in 2B prop eng
Merge branch 'feature-mzn' into develop