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

Hi Joachim,

Thanks for the clarification.

> 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

However, when I do this, I get an error:

[eclipse 3]: minizinc:mzn_run("loc.mzn", "loc.dzn", fzn_fd).
calling an undefined procedure fzn_fd : float_fzn_to_solver(60.0, _83895) in module flatzinc
Aborted in line 253
Abort

Also, the purpose of my introducing the timeout is that I assume that Eclipse will print the
last solution it has found before the timeout.  Is that assumption correct?

				Kostas