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

Julien.
--------------------------------------------------------------------------
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