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

From: Kostas Oikonomou <ko_at_research.att.com> Date: Mon, 20 Aug 2012 14:29:16 -0400 · This archive was generated by hypermail 2.2.0 : Fri Aug 24 2012 - 06:14:23 CEST

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