[Oz] Examples of configuration-type problems

[Kent Hoxsey]

Thanks to all for your answers to my earlier questions. Over this past
weekend I did some more reading in the documentation, and I believe I
have a better idea of the things I do not yet know.

One of the examples in the documentation demonstrates aligning people
for a photo. The example returns both the number of constraints
satisfied and the configuration of the people in the photo. Is there any
way to know which constraints were satisfied?

In addition, if the problem were set up so it was over-constrained,
where the constraints are hierarchical and the goal is to minimize the
weights of the violated constraints, is it possible to know which
constraints were violated?

TIA,
Kent

-
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/.