Hello again,
I am not sure whether I have understood module CLPFD correctly.
Consider the following session:
Prelude> :l CLPFD
Parsing 'CLPFD.curry'...
CLPFD> domain [x,y,z] 0 100 & labeling [Minimize x, Maximize y,
Minimize z] [x,y,z]
Free variables in goal: x, y, z
Result: success
Bindings:
x=0
y=0
z=0 ? ;
No more solutions.
Why is y not bound to 100? Is this a bug or due to wrong usage?
How can I minimize particular variables and maximize others at the
same time?
Regards,
Steffen Mazanek
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Feb 08 2008 - 14:19:47 CET