Direct modeling support
[Programming models]
Classes | |
class | Gecode::REG |
Regular expressions over integer values. More... | |
class | Gecode::Matrix< A > |
Matrix-interface for arrays. More... | |
Modules | |
Linear expressions and relations | |
Set expressions and relations | |
Boolean expressions | |
Posting of expressions and relations | |
Arithmetic functions | |
Channel functions | |
Aliases for integer constraints | |
Aliases for set constraints | |
Support for cost-based optimization |