• Back to all releases

Version 3.7.1 of Gecode

• 
• 3.7.2

• 
•  26 Feb 2012 22:32
• 

Release Notes: This release fixes several small bugs.

• 
• 3.7.1

• 
•  10 Oct 2011 16:07
• 

Release Notes: This release fixes several bugs, upgrades to MiniZinc version 1.4, and features some minor improvements.

• 
• 3.7.0

• 
•  01 Sep 2011 07:29
• 

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.

• 
• 3.6.0

• 
•  15 Jul 2011 09:45
• 

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.

• 
• 3.5.0

• 
•  01 Feb 2011 15:30
• 

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.