[m-dev.] Reconsidering initialisation of solver types

Ralph Becket rafe at csse.unimelb.edu.au
Thu Jul 27 15:37:37 AEST 2006

Peter Stuckey, Thursday, 27 July 2006:
> It makes Mercury unusable as a constraint programming language!

Currently automatic initialisation seems to make Mercury a bit of a pain
as a constraint programming language :-)

> It will add a burden to Cadmium to initialize all variables explicitly!

I thought Cadmium was a Zinc to Zinc translator.  The interpreter
actually runs the model and it *has* to initialise all the solver

-- Ralph
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list