Testing finite sets

Topics
	General set test support
	Set channeling constraints
	Convexity constraints
	Distinctness constraints
	Domain constraints
	Element constraints
	Synchronized execution
	Combined integer/set constraints
	Minimal modelling constraints (Set constraints)
	Relation/operation constraints with constants
	Relation/operation constraints
	Relation constraints
	Sequence constraints

Detailed Description