Gecode 6.3.0 and 6.4.0 are released #1 Post by mzl » Thu, Jul 16, 2026, 9:26 AM UTC Gecode 6.3.0 and 6.4.0 are releasedzayenz.se