Contains classes for creating {@linkplain kodkod.instance.Tuple tuples}, {@linkplain kodkod.instance.TupleSet sets of tuples}, {@linkplain kodkod.instance.Bounds bounds}, and {@linkplain kodkod.instance.Instance instances} drawn from a finite {@linkplain kodkod.instance.Universe universe} of uninterpreted atoms.