[Oz] Examples of configuration-type problems

[Kent Hoxsey]

Hey Oz users,

I am interested in modelling a specific kind of constraint problem in
Oz, and would appreciate a pointer to the right part of the
documentation, or even better, to an example program.

The problem I am trying to model is a configuration problem, essentially
a group of switches. All of the switches have 2 or more settings, and
there are constraints governing the relationships between some of them.
There are many valid solutions within the ruleset. I am less interested
in identifying all valid solutions and more interested in checking
whether a particular configuration of switches is valid.

If someone could point me to an example that has some similarity to my
interest, I would be very thankful.

Kent

-
Please send submissions to oz-users at dfki.de,
administriva mail to oz-users-request at dfki.de.
The Oz web site is at http://www.ps.uni-sb.de/oz/.