I am attempting to learn how to use finite domain constraints in OZ to solve certain partially balanced, cyclical designs from combinatorial design theory.
Given a set of points V (say V=93), I want to construct a design with 23 elements that meets certain constraints. Each one of the 23 elements is a "block" (list or multiset) of size 3. I want a convenient way to refer to each of the blocks, so that I can specify constraints such as "block 1 > block 2". I also want to be able to specify constraints WRT to individual elements either within the same block, or in different blocks. Essentially, I have a set of 69 variables (23 triples) with various relationships and constraints, and I want to know the best way to define them so that I don't have to repeat indexes and constraints for each triple, and among elements, that really apply at the domain level. I have looked at the documentation on-line, and am currently reading one of Peter Van Roy's books. Advice and suggestions are appreciated. --------------------------------------- George Rudolph Assistant Professor Department of Mathematics and Computer Science The Citadel Charleston, SC 29409 Phone: 843-953-5032 _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
