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

On 20/08/2012 20:29, Kostas Oikonomou wrote:
> 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?


Yes, your annotation is in the wrong place: you have to
annotate the 'solve', not the objective.  Try

solve :: timeout(60.0)
         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]) ;


Regards,
Joachim