Gecode: Documentation

Modeling and Programming with Gecode

Modeling and Programming with Gecode provides comprehensive documentation of how to model and program with Gecode.

The first part of the document explains modeling and solving constraint problems with Gecode. It explains how to program, compile, link, and execute these models. It provides an overview of integer, Boolean, and set variables and constraints, modeling support, search, and Gist. This is complemented by a comprehensive collection of case studies of how to model with Gecode.

The remaining, more advanced, parts are about programming with Gecode. They explain in great detail and with numerous examples the concepts and techniques for programming constraints, branchings, search engines, and new variable types with Gecode. The parts' coverage puts users on par with Gecode's developers.

The sources of Modeling and Programming with Gecode are available on GitHub.

Reference Documentation

We kindly ask that documentation be not installed anywhere in such a way that it will be indexed by search engines.

Online Reference Documentation for Previous Versions

[6.1.1] [6.0.1] [5.1.0] [4.4.0] [3.7.3] [2.2.0] [1.3.1]