I have been working on some finite set problems to build my skills with
Mozart and I had a problem that I ran into that I wasn't sure how to solve.
I have a Finite Set with cardinality of 7 that I am working with. Each
element in the set is restricted to 0#1000. How can I apply a constraint
that guarantees that at least 3 of the elements in the set when modded with
100 have the same result. So an example good set would be
[13 213 413 786 999 321 100] since 13 213 and 413 when modded by 100 have
the same value.
-Nathan
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to bugs@mozart-oz.org.