PAKCS, problem with module CLPFD

From: Steffen Mazanek <steffen.mazanek_at_unibw.de>
Date: Fri, 08 Feb 2008 13:07:18 +0100

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 Fri Feb 08 2008 - 14:19:47 CET

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:06 CEST