Testing finite domain integers

Topics
	General test support
	Arithmetic constraints
	Basic setup
	Bin-packing constraints
	Boolean constraints
	Channel constraints
	Circuit constraints
	Count constraints
	Cumulative scheduling constraints
	Cumnulatives scheduling constraint
	Distinct constraints
	Domain constraints
	Element constraints
	Synchronized execution
	Extensional (relation) constraints
	Counting constraints (global cardinality)
	Linear constraints
	Membership constraints
	Minimal modelling constraints (arithmetic)
	Minimal modelling constraints (Boolean constraints)
	Minimal modelling constraints (counting)
	Minimal modeling constraints (linear constraints)
	Minimal modelling constraints (relation)
	No-overlap constraints
	Number of values constraints
	Order constraint
	Relation constraints
	Sequence constraints
	Sorted constraints
	Unary scheduling constraints
	Unsharing variables in arrays

Detailed Description