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... | |