Re: [eclipse-clp-users] Integer constraint solver with CHR, example code?

From: Marco Gavanelli <marco.gavanelli_at_...17...>
Date: Tue, 20 Jan 2009 12:35:06 +0100
Ulrich Scholz wrote:
> Dear all,
> I'm interested in a constraint solver over Integer domains that shows
> reliable fast failure.  For example X=Y, X>Z, Y=Z should fail instantly
> without the need for labeling.
> Maybe I will have to implement it myself with CHR's.  Does anyone have a
> "good" implementation of such a solver in CHR?  I want to get an idea of a
> good implementation.
> (But: If I could copy the code and it would fit - even better)

Dear Ulrich,

you can find a lot of examples, with code you can copy & paste, on the 
web site of CHR:

For example, you might be interested in this example:


Marco Gavanelli, Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Via Saragat 1 - 44100 Ferrara (Italy)
Tel  +39-0532-97-4833
Fax  +39-0532-97-4870
Received on Tue Jan 20 2009 - 12:34:12 CET

This archive was generated by hypermail 2.3.0 : Sun Aug 25 2019 - 06:15:50 CEST