My Constraint Programming Blog

Gecode version 3.5 was released some hours ago. Download.

From the Changelog:

Changes in Version 3.5.0 (2011-02-01)
This release fixes serious bugs in parallel search, FlatZinc, fixes some DLL issues on Windows, adds support for FreeBSD, and adds STL-style iterators for arrays.

• Kernel
  • Additions
    • Added STL compatible iteration support for arrays (variable arrays, argument arrays, view arrays, and shared arrays). (major , contributed by Gregory Crosswhite)
• Search engines
  • Bug fixes
    • Fixed a serious bug in parallel search (took over a year to isolate the bug). (major, thanks to Denys Duchier, Chris Mears)
• Minimal modeling support
  • Bug fixes
    • Do not inline construction of linear, Boolean, and set expressions to avoid cross-DLL allocation/deallocation issues on Windows. (minor, thanks to Alexander Kleff)
• Gecode/FlatZinc
  • Other changes
    • Fixed the definitions of global_cardinality to work with MiniZinc 1.2 and newer, and added corresponding definitions of global_cardinality_closed and global_cardinality_low_up_closed. (major)
  • Bug fixes
    • Fixed incorrect posting of linear constraints with variable arrays of size one. (major, thanks to Roberto Castañeda Lozano)
• General
  • Additions
    • Gecode now compiles on FreeBSD. (minor, thanks to Peter Penchev)
    • Embed resource information into DLLs and EXEs on Windows. (major)
  • Other changes
    • Embed manifest into Gecode DLLs on Windows. (minor)

Related

Some days ago the Gecode team released (I quote) the source code of the Gecode FlatZinc parser, stripped of all Gecode-specific code. You can use it as a starting point for your own FlatZinc interpreter. For more info, see Gecode: Gecode/FlatZinc.