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_at_eml-d.villa-bosch.de -- 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.deReceived on Sun Oct 12 2008 - 17:50:02 CEST
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET