Programming models

Topics
	Setting up scripts
	Using integer variables and constraints
	Search engines
	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
	Modeling and solving with Optimize

Detailed Description