Gecode Reference Documentation
1.3.1This document provides reference information about Gecode. The documentation is structured into three major groups: common programming tasks, common functionality, and other available functionality.
This document corresponds to Gecode version 1.3.1.
- Interfacing to Gecode
- Direct modelling
- Programming search engines
- Programming propagators and branchings
- Programming variables
The complete functionality can be found here.Other available functionality documents existing propagators, variable implementations, and so on which serves as documentation of examples.