Mozart Oz Mozart Oz provides for finite set constraints
over integers. They can be used in conjunction with
other constraint systems, as for example finite
domain constraints. More information about finite
set constraints in Mozart Oz are available at
[http://www.mozart-oz.org/documentation/fst/index.html]
