[m-users.] Solvers in Mercury

Celelibi celelibi at gmail.com
Thu Oct 23 13:45:19 AEDT 2014

Hello everyone,

I'm not yet a user of Mercury, but I think about it as a replacement
of Prolog + CLP(FD). :)
I've read this paper about the solver types in Mercury:
In the end, it says that a finite domain solver has been implemented
as well as an interface to CPLEX.

I wonder what happened to those codes. Are they available somewhere?
Are they still working?

Thanks in advance.


More information about the users mailing list