All releases of Gecode
Release Notes: This release fixes several small bugs.
Release Notes: This release fixes several bugs, upgrades to MiniZinc version 1.4, and features some minor improvements.
Release Notes: This release adds and improves quite a number of constraints: total lexicographic order for set variables, membership constraints for integer variables, counting constraints for integer variables using integer sets, range, roots, set element constraints for integer variables, and number of values for integer variables. All of these constraints (and some more) are now also available in FlatZinc. Additionally, there were some fixes and improvements.
Release Notes: This release adds new constraints (value precedence constraints for integer and set variables, no-overlap constraints for rectangles, constraints for Hamiltonian paths), improves and cleans up a number of existing constraints (scheduling, channeling, relation, bin-packing, lexicographic relations), and adds new functionality (support for externalization of choices for distributed search, support for incremental propagation). On top, there are many small fixes, in particular for FlatZinc.
Release Notes: This release fixes serious bugs in parallel search and FlatZinc, fixes some DLL issues on Windows, adds support for FreeBSD, and adds STL-style iterators for arrays.
Release Notes: This release removes Limited Discrepancy Search (LDS) from Gecode, as it is patented in the US.
Release Notes: This release adds a new global constraint for bin-packing (with an extended example) and filter functions for branchers. Additionally, the release fixes several bugs and improves performance of some iterators, the FlatZinc interpreter, and Gist.
Release Notes: Support for posting expressions and relations (also including set and full arithmetic expressions) was considerably improved. Other improvements were made for modeling (array initialization and element addition to arrays). State-of-the-art unary and cumulative scheduling propagators were added, including optional and flexible tasks. Major cleanups were done of the variable and view infrastructure (now also documented in MPG). The examples were cleaned up. Several other fixes and performance improvements were made.
Release Notes: This release adds many new features to Gist, fixes two major bugs in extensional constraints, and includes several small fixes and cleanups.
Release Notes: This release provides some fixes, some performance improvements for domain propagators, and some clean-ups in the way propagators and advisors report their status to the kernel. Many of these clean-ups are essential to make it easier to program propagators and branchers with Gecode.
