[m-users.] Solvers in Mercury
Celelibi
celelibi at gmail.com
Tue Oct 28 02:34:58 AEDT 2014
2014-10-27 13:05 UTC+01:00, Julien Fischer <jfischer at opturion.com>:
>> Are they available somewhere?
>
> Short answer: they have never been publicly released.
Ok, so, if I want to use a CLP(FD) solver I'll have to write it on my own.
> In their new form, yes. In the form described in the paper above, no.
> Some
> of the details of the solver type implementation in Mercury have changed
> since
> that paper was written. In particular:
>
> - auto initialisation of solver type values is no longer supported
> - as a consequence of the above, solver types can now be nested
> - there is now support for dynamically moded higher-order values
Thanks for the informations.
What does dynamically moded means?
Best regards,
Celelibi
More information about the users
mailing list