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
	Linear float expressions and relations
	Set expressions and relations
	Boolean expressions
	Reified expressions
	Mixed integer and set expressions
	Posting of expressions and relations
	Arithmetic functions
	Transcendental functions
	Trigonometric functions
	Channel functions
	Aliases for integer constraints
	Aliases for set constraints
	Support for cost-based optimization