[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

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

include "eclipse.mzn";

       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?

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

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST