[m-dev.] Reconsidering initialisation of solver types

[Ralph Becket]

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

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