Dear all,
In my reserch, I've reached to a Constraint programming model like this:
(E is a matrix)
------------------------------------------------
Alldiff{ x1,x2,..,x10}
E(x1,1)=1
E(x2,1)=2
.
.
.
E(x10,1)=10
E(x1,1)*...*E(x1,10)=0
.
.
.
E(x10,1)*....*E(x10,10)=0
--------------------------------------------------------------
But oz unable to slove it, I think a FD variable can't use as a index of a FD
variable...! What do you thinlk?
If you can, please help me.
---------------------------------
Ask a question on any topic and get answers from real people. Go to Yahoo!
Answers. _________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
