FD: Minimizing nondistinct

[Torsten Anders]

On Saturday 07 September 2002 18:45, Denys Duchier wrote:
> t.anders at nici.kun.nl (Torsten Anders) writes:
> > But I did not yet succeed in constraining a FS var to include
> > _and_only_include_ a given number of FD vars. 
>
> hmm... how about: for each var, declare a set of cardinality 1,
> constrain the variable to belong to it.  Now union all these
> singletons.

He, he, this does the job and took almost no time to implement. Again I am 
deeply impressed by the expressive power of the Oz environment!

Regards,
Torsten
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.