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