Modeling and Programming with Gecode

Christian Schulte, Guido Tack, Mikael Z. Lagerkvist

Parts of the manual

• Modeling

• Case studies

• Programming propagators

• Programming branchers

• Programming variables

• Programming search engines

Publication and license information

This document was published on Sep 05, 2026. It corresponds to Gecode 6.4.0.

© Christian Schulte, Guido Tack, Mikael Z. Lagerkvist, 2008–2026.

This document is provided under the terms of the Creative Commons License Attribution-Noncommercial-No Derivative Works 3.0. The complete license text can be found at the end of this document.

Acknowledgments

We thank the following people for helpful comments: Vincent Barichard, Léonard Benedetti, Pavel Bochman, Markus Böhm, Roberto Castañeda Lozano, Marco Correia, Gregory Crosswhite, Pierre Flener, Florian Fontan, Gustavo Gutierrez, Gabriel Hjort Blindell, Sverker Janson, Andreas Karlsson, Håkan Kjellerstrand, Chris Mears, Benjamin Negrevergne, Flutra Osmani, Max Ostrowski, David Rijsman, Dan Scott, and Kish Shen.