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

From: Joachim Schimpf <js10_at_crosscoreop.com>
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.2.0 : Thu Feb 02 2012 - 02:31:57 CET