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

From: Joachim Schimpf <js10_at_...2...>
Date: Thu, 05 Apr 2007 12:13:30 +0100
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
Received on Thu Apr 05 2007 - 12:14:07 CEST

This archive was generated by hypermail 2.3.0 : Thu Aug 22 2019 - 09:15:17 CEST