[eclipse-clp-users] simple eplex question

From: Kostas Oikonomou <ko_at_research.att.com>
Date: Thu, 06 Sep 2012 17:03:41 -0400
By reading the Constraint Library manual  section 9.2.2, I 
believe that the following
code should work

:- lib(eplex).

tst :-
eplex_solver_setup(min(P)),
A = []([](1,2,3), [](4,5,6)),
B = []([](6,7,8), [](9,10,11)),
P :: 0.0..1000.0,
%P $>= [1,2]*[3,4],           % works
P $>= A[1..2,3]*B[1..2,3], % produces run-time error
eplex_solve(_),
eplex_get(typed_solution,Val),
write("P = "), writeln(Val)
.

but it doesn't.  I don't understand why.

                             Kostas
Received on Thu Sep 06 2012 - 21:04:21 CEST

This archive was generated by hypermail 2.2.0 : Fri Sep 07 2012 - 06:14:27 CEST