We would like to announce the release of Gecode 1.0.1 http://www.gecode.org/ This is a maintenance release including some additions of domain-consistent propagators and a fix for a serious bug in reified linear inequalities. For a complete changelog, please visit http://www.gecode.org/gecode-doc-latest/PageChange.html Cheers, The Gecode Team