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: http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/ For example, you might be interested in this example: http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/chr-solver/domain.pl Cheers, Marco -- 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 http://www.ing.unife.it/docenti/MarcoGavanelli/Received on Tue Jan 20 2009 - 12:34:12 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET