[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,

More information about the users mailing list