Re: [eclipse-clp-users] Integer Set Library: Performance related to initial domain size?

From: Ulrich Scholz <Ulrich.Scholz_at_...10...>
Date: Sun, 12 Oct 2008 19:52:08 +0200
Dear Marco,

thanks for the link.  I've tried some initial experiments and it looks
promising.  Let's see if I manage to learn using it - I already start to
miss the excellent manual of ECLiPSe :-) But, I guess, learning something
new is always hard in the beginning.



PS. Have you ever tried to use {Set} from ECLiPSe?

>> Is there a set constraint solver that allows to find such inconsistencies
>> symbolically, i.e., without searching for an actual solution?
> A different CLP(SET) solver is {log} (read as 'setlog'). You can  
> download it from:
> This solver has different capabilities with respect to the fd_sets  
> library embedded in ECLiPSe, so in some cases it can be faster, in  
> others it can be slower. Anyway, you can give it a try.

Ulrich Scholz            

Phone: +49-6221-533244
Email: ulrich.scholz_at_...10...


European Media Laboratory GmbH
Schloss-Wolfsbrunnenweg 33
69118 Heidelberg

Amtsgericht Mannheim / HRB 335719
Managing Partner: Dr. h.c. Klaus Tschira, Scientific and Managing
Director: Prof. Dr.-Ing. Andreas Reuter
Received on Sun Oct 12 2008 - 17:50:02 CEST

This archive was generated by hypermail 2.3.0 : Sun Aug 25 2019 - 03:15:37 CEST