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.

Best,

Ulrich


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:
>
> http://www.math.unipr.it/~gianfr/setlog.Home.html
>
> 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@...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

www.eml-d.villa-bosch.de
   
Received on Sun Oct 12 2008 - 17:50:02 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST