[eclipse-clp-users] annotation "timeout" in minizinc model, Eclipse 6.185

From: Kostas Oikonomou <ko_at_...308...>
Date: Mon, 20 Aug 2012 14:29:16 -0400
Hi,

I am having a problem with getting annotations to work in a 
minizinc model.  My .mzn file has

include "eclipse.mzn";
...
...

solve
       minimize sum(c in CO, m in MH) (dcm[c,m]*F[c,m]) + 
sum(m in MH, o in ONU)
       (dmo[m,o]*D[m,o]) :: timeout(60.0);


And I run it using

  mzn_run("loc.mzn", "loc.dzn", fzn_fd).

But the timeout has no effect, Eclipse keeps on going.   I 
also tried the delta() annotation, that has no effect either.

Am I doing something wrong?

                         Kostas
Received on Mon Aug 20 2012 - 18:47:49 CEST

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST