decrease version of choco from 2.1.5 to 2.1.3
corrected BoolVarNot
changed IStateInt.increment to .add(1)
changed IStateInt.decrement to .add(-1)