Start things on env
Merge branch 'develop' into feature-env
Deep refactoring of environment. Step 1
Deep refactoring of environment. Step 2
Delete IStateIntProcedure
Update templates
Merge branch 'develop' into feature-env
Merge branch 'feature-env' into develop
add new traces for tests + new model (Hakan)
Merge branch 'feature-fixes' into develop
Hakan: as suggested, replace "x_0_0" by "x[0][0]" in the name of variables
Add opposite constraint parameter in implies
Fix bug in GCC (thank you Hakan)
Fix bug in StoredDoubleVector
Switch to CUSTOM propag in Fast GCC
Merge branch 'feature-fixes' into develop
Merge branch 'develop' into feature-BAIntVar