optimize iffEq and impliesEq Choco constraints + upgrade retrieveIntVars
Merge pull request #46 from sofdem/choco-3.2.0

optimize iffEq and impliesEq Choco constraints + upgrade retrieveIntVars