Gecode 6.3.0 and 6.4.0 Released: CMake-first builds, main branch, and MiniZinc enhancements
Summary
Gecode released 6.3.0 and 6.4.0, with 6.4.0 marking a new starting point on the main branch and a move to source-only releases. The post details build improvements with CMake, enhanced MiniZinc/FlatZinc integration, new propagation options, and extensive correctness and stability work, plus compatibility changes and guidance for getting the release.