We would like to announce the release of Gecode 1.2.2 http://www.gecode.org/ This release switches recomputation back on and removes some experimental code that had sneaked into the system. For a complete changelog, see http://www.gecode.org/gecode-doc-latest/PageChanges_1_2_2.html Cheers, The Gecode Team