Direct modelling
[Programming models]

Modules
	Linear expressions and relations
	Boolean expressions and relations
	Posting of expressions and relations
	Arithmetic functions
	Channel functions
	Aliases for integer constraints
	Matrix interface for arrays
Classes
class	Gecode::REG
	Regular expressions over integer values. More...