external solvers

From: . <aik_at_fryazino.net>
Date: Mon, 03 Jan 2005 13:16:34 +0300

Is there any detailed documentation on concept of "external constraint solvers"
and their implementation? It seems that I do not really understand
how this is supposed to work and what this is supposed to do.
I supposed that external solvers are intended to solve constraints
that language core is unable to solve. But if this is true, I do not
understand how it can be done through external solver API defined.

           Yours,

           Igor


_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mon Jan 03 2005 - 11:25:07 CET

This archive was generated by hypermail 2.3.0 : Mon Nov 18 2019 - 07:15:05 CET