Modules | |
| Setting up scripts | |
| Scripts (or models) are programmed by inheriting from the class Gecode::Space. For many examples see Example scripts (models). | |
| Using integer variables and constraints | |
| Search engines | |
| Defines search engines. All search engines (but Gecode::LDS, where it is not needed) support recomputation. The behaviour of recomputation is controlled by a passing a search option object (see the class Gecode::Search::Options). | |
| Gist: the Gecode Interactive Search Tool | |
| Using integer set variables and constraints | |
| Using float variables and constraints | |
| Direct modeling support | |
| Script commandline driver | |
| Propagator and brancher groups | |
| Tracing constraint propagation | |
| Generic branching support | |
| Support for randomization and tie-breaking that are independent of a particular variable domain. | |
Classes | |
| class | Gecode::Rnd |
| Random number generator. More... | |