Testing finite sets
[Testing]

Modules
	Convexity constraints
	Distinctness constraints
	Domain constraints
	Element constraints
	Synchronized execution
	Combined integer/set constraints
	Relation/operation constraints with constants
	Relation/operation constraints
	Relation constraints
	Sequence constraints
	General set test support