[m-users.] Solvers in Mercury
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.
> of the details of the solver type implementation in Mercury have changed
> 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?
More information about the users