Gecode: Documentation
Overview
To learn more about the goals and the design of the Gecode project, visit our Overview page.
Modeling with Gecode
Modeling with Gecode provides an introduction to modeling and solving constraint models with Gecode. It explains how to program, compile, link, and execute these models.
The document is concerned with the most important ideas and principles underlying modeling with Gecode. It provides an overview of integer, Boolean, and set variables and constraints, modeling support, search, and Gist. In particular, the document provides entry points into the complete reference documentation and points to illustrating examples.
Download: Modeling with Gecode. License: Creative Commons License Attribution-Noncommercial-No Derivative Works 3.0.
Programming with Gecode
Programming with Gecode explains how to use the programming interfaces provided by Gecode for:
- Adding new variables types: the modules for integer, Boolean and set variables use exactly the same programming interface as is available to any user.
- Adding new propagators and branchers: again, the propagators and branchers that come with Gecode use the same programming interfaces as anybody else can use.
- Adding new search engines: Gecode comes with the most important search engines. The programming interface is simple yet very powerful as it is based on concurrency-enabled techniques such as recomputation and copying.
Under preparation.
Complete reference documentation
- Online HTML
- Compressed tar-archive containing html pages (with PHP-based search)
- 7-Zip-archive containing html pages (with PHP-based search)
We kindly ask that documentation is not installed anywhere in such a way that it will be indexed by search engines.
Search
You can search our web site using Google.
