Gecode: News Archive

2013-03-14

Gecode 4.0.0

Gecode 4.0.0 has been released on March 14th, 2013 (Changelog).

2012-12-22

AMPL driver

Victor Zverovich has released a Gecode driver for AMPL, also available from our interfaces page.

2012-12-03

New publication

A new paper with the title Search Combinators has been added to our publications page. Its relation to Gecode: Experimental implementation based on Gecode.

2012-12-01

New publication

A new paper with the title View-based Propagator Derivation has been added to our publications page. Its relation to Gecode: Design and evaluation of generic propagators.

2012-10-12

MiniZinc challenge results

Gecode won the 2012 MiniZinc challenge. We are proud to have won all three gold medals for the fifth year running!

2012-03-26

Gecode 3.7.3

Gecode 3.7.3 has been released on March 26th, 2012 (Changelog).

2012-03-09

FlatZinc parser skeleton 1.2

We updated the skeleton C++ parser for FlatZinc to version 1.2, which includes a few bug fixes and compatibility with newer FlatZinc versions. It is available from the Gecode/FlatZinc page.

2012-03-07

Search Combinators in FlatZinc

Search Combinators can now be used directly with a modified FlatZinc interpreter, available from our FlatZinc page.

New publication

A new paper with the title Search Combinators has been added to our publications page. Its relation to Gecode: Experimental implementation based on Gecode.

2011-09-12

MiniZinc challenge results

Gecode won the 2011 MiniZinc challenge. We are proud to have won for the fourth year running and in all three categories. Having said that, the real winner this year is the same as last year, Chuffed (it was not eligible due to competition rules as it has been an in-house submission). Congratulations to Chuffed!

2011-08-10

Gecode bindings for YAP Prolog

Denys Duchier has made Gecode bindings for YAP Prolog available.

2011-08-08

Gecode bindings for Python

Denys Duchier has made Python bindings for the Gecode constraint programming library available. It is implemented using Cython.

2011-04-14

Gecode on Mac Homebrew

Gecode can now be installed on Mac OS via Homebrew, the "missing package manager for OS X".

2011-01-18

FlatZinc parser skeleton

On the Gecode/FlatZinc page, we now provide a skeleton C++ parser for FlatZinc that you can use as a starting point for your own implementation.

2010-10-11

Discussion about LDS patent

The release of Gecode 3.4.2, removing LDS because of patent issues, triggered a controversial discussion on Michael Trick's Operations Research Blog.

2010-10-08

Compilation with clang

Gecode successfully compiles with clang, the new C++ compiler from the llvm project. The clang compiler is about three times as fast as gcc when compiling Gecode. The generated code seems to be slightly slower than the one generated by gcc (but with llvm being a very active project, we expect performance to improve).

2010-09-10

MiniZinc challenge results

Gecode won the 2010 MiniZinc challenge. We are proud to have won for the third year running and in all three categories. Having said that, the real winner this year is Chuffed (it was not eligible due to competition rules as it has been an in-house submission). Congratulations to Chuffed!

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-05-05

Current development

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

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).

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-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-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.

2009-03-13

Modeling tutorial available

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

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.