Gecode: News Archive

2010-08-04

New publication

A new paper with the title Implementing Efficient Propagation Control has been added to our publications page. Its relation to Gecode: Explains propagator scheduling in the Gecode kernel.

2010-07-26

Gecode 3.4.0

Gecode 3.4.0 has been released on July 26th, 2010 (Changelog).

2010-05-05

Current development

We have added the changelog of our current development version, compared to the last release.

2010-04-09

Gecode 3.3.1

Gecode 3.3.1 has been released on April 9th, 2010 (Changelog).

2010-04-08

Modeling and Programming with Gecode

This document, available from our documentation page, provides comprehensive documentation of how to model and program with Gecode.

2010-03-18

CP4IM

New on our projects page: The CP4IM project (Constraint Programming for Itemset Mining) uses Gecode in data mining applications.

2010-03-17

MiniZinc 1.1

Version 1.1 of the MiniZinc distribution has been released. Gecode's FlatZinc interpreter is compatible with this release (except for small changes in the output specification, which will be fixed with the next release).

2010-03-15

Gecode 3.3.0

Gecode 3.3.0 has been released on March 15th, 2010 (Changelog).

2009-11-30

Gecode 3.2.2

Gecode 3.2.2 has been released on November 30th, 2009 (Changelog).

2009-11-04

Gecode 3.2.1

Gecode 3.2.1 has been released on November 4th, 2009 (Changelog).

2009-10-29

Mac OS 64-bit binaries

The binary package for Mac OS now includes 64-bit Intel code (in addition to the 32-bit Intel and PowerPC code). It is available from our download page. If you want to use the 64-bit version, you will have to install the Cocoa version of the Qt libraries.

2009-10-14

Layout

The Gecode web site layout has been improved. We now provide a news section on the front page, a dedicated news page, and an RSS feed for all news updates.

2009-10-08

Haskell interface

The Monadic Constraint Programming Framework provides a CP modeling framework for Haskell with Gecode as backend.

2009-10-07

New publication

A new paper with the title Maintaining State in Propagation Solvers has been added to our publications page. Its relation to Gecode: Includes an evaluation of how well hybrid recomputation in Gecode works compared to trailing.

2009-10-05

Gecode 3.2.0

Gecode 3.2.0 has been released on October 5th, 2009 (Changelog).

2009-09-22

MiniZinc challenge results

Gecode won the 2009 MiniZinc challenge. We are proud to have won for the second year running and in all three categories (even though Gecode was the only entrant in the parallel solver category) by a wide margin.

2009-06-17

New publication

A new paper with the title Weakly Monotonic Propagators has been added to our publications page. Its relation to Gecode: Model and example for weakly monotonic propagators as used in Gecode.

2009-05-20

Gecode 3.1.0

Gecode 3.1.0 has been released on May 20th, 2009 (Changelog).

2009-04-20

Tailor to Gecode

Tailor translates Essence' models to Gecode programs (among other things).

2009-04-15

Gecode in the GCC

The Global Constraint Catalog now contains a section that maps GCC's names to Gecode's.

2009-03-26

Models by Håkan Kjellerstrand

Håkan's blog now contains a collection of Gecode models.

Gecode 3.0.2

Gecode 3.0.2 has been released on March 26th, 2009 (Changelog).

2009-03-24

Gecode 3.0.1

Gecode 3.0.1 has been released on March 24th, 2009 (Changelog).

2009-03-13

Modeling tutorial available

Visit our documentation pages for the new tutorial documentation on modeling with Gecode!

Gecode 3.0.0

Gecode 3.0.0 has been released on March 13th, 2009 (Changelog).

2009-03-12

MiniZinc challenge results

Gecode participated in the 2008 MiniZinc challenge. The results are now available on the MiniZinc challenge results page.

New publication

A new paper with the title Techniques for Efficient Constraint Propagation has been added to our publications page. Its relation to Gecode: Development of advisors, placement problems using regular.

2009-02-24

New publication

A new paper with the title Constraint Propagation - Models, Techniques, Implementation has been added to our publications page. Its relation to Gecode: Models and techniques used in the Gecode kernel, views, and propagators for set constraints.

2009-02-23

New publication

A new paper with the title Efficient Constraint Propagation Engines has been added to our publications page. Its relation to Gecode: Design and optimizations of Gecode's propagation engine.

2008-08-25

Gecode 2.2.0

Gecode 2.2.0 has been released on August 25th, 2008 (Changelog).

2008-06-12

New publication

A new paper with the title Perfect Derived Propagators has been added to our publications page. Its relation to Gecode: Model, properties and techniques for generic propagators.

2008-04-30

New publication

A new paper with the title Modeling Irregular Shape Placement Problems with Regular Constraints has been added to our publications page. Its relation to Gecode: Describes the model used for the Pentominoes example.

2007-11-15

FlatZinc for Gecode released

We would like to announce the release of FlatZinc for Gecode version 1.0.

2007-07-04

New publication

A new paper with the title Generating Propagators for Finite Set Constraints has been added to our publications page. Its relation to Gecode: How to correctly implement set propagators.

2007-03-27

Updated binary Packages

We now provide an updated Windows Installer for Gecode and Gecode/J on our download page!

2006-11-02

Binary Packages

We now provide a Windows Installer for Gecode and Gecode/J on our download page!

2006-10-25

Gecode 1.3.1

Gecode 1.3.1 has been released on October 25th, 2006 (Changelog).

2006-09-21

Gecode/J released

We are happy to announce the release of Gecode/J 1.0.0, a Java interface for Gecode.

2006-09-08

New publication

A new paper with the title Views and Iterators for Generic Constraint Implementations has been added to our publications page. Its relation to Gecode: Design and evaluation of generic propagators.