[m-dev.] [0.13 release] support for clp(r) interface

Ralph Becket rafe at cs.mu.OZ.AU
Mon Mar 6 13:55:19 AEDT 2006


Julien Fischer, Monday,  6 March 2006:
> 
> Hi all,
> 
> I'd like to remove support for the clp(r) interface because:
> 
> - it's a pain to maintain
> - it doesn't work on 64-bit machines
> 
> However, the clp(r) interface is currently the only example of using solver
> types that we have in the Mercury distribution - is their a solver lying
> around somewhere that we could add to samples that would serve as an example
> of how to use solver types?

Coming up very, very soon (i.e., in the next couple of days) I'll have a
couple (simplesat.m (naive) and sat.m (pretty good)).
--------------------------------------------------------------------------
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