Re: [eclipse-users] A new library induction in ECLiPSe

Siddharth Angrish wrote:
> Hi
>            can somebody point to a source detailing how a new solver in the
> form of a library be integrated into ECLiPSe? Moreover, are there any
> constraints over the language chosen to write the solver?

For an example, have a look at lib(sd), a simple solver over
symbolic domains.  The source is in the file sd.ecl in your
ECLiPSe's lib/ directory.


-- Joachim