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.
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.
You can search our web site using Google.