[m-users.] Solvers in Mercury

[Celelibi]

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:
https://mercurylang.org/documentation/papers.html#padl06solver
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.

Regards,
Celelibi