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