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? KostasReceived on Mon Aug 20 2012 - 18:47:49 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST