kodkod.instance
Classes 
Bounds
Instance
Tuple
TupleFactory
TupleSet
Universe