[m-dev.] A hole in the type system (typeclasses and user defined equality)

Julien Fischer juliensf at cs.mu.OZ.AU
Thu May 25 13:45:31 AEST 2006

On Wed, 24 May 2006 doug.auclair at logicaltypes.com wrote:

> Dear all, Ralph wrote:
> >I am trying to write a generic interface to our linear constraint
> >solvers (currently we have interfaces to CPLEX and GLPK and more
> >are anticipated).
> Are 'we' willing to share these interfaces?  If so, where are they?

The interfaces are part of the G12 project - it has been publically
released yet.

mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list