Hi all, Sorry for chiming in a bit late, but I'm pretty busy with real life these days (as Pietro already knows :-) ). [...] > > It think we should look at this third category of solvers as the allow > us to specify sane optimization criteria for install and upgrades. > > GPL solver : > http://www.cs.uni-potsdam.de/wv/aspcud/ > > Eclipse licence : > http://wiki.eclipse.org/Equinox/p2/CUDFResolver > > Non free solvers :( but we have the right to redistribute them : > http://sat.inesc-id.pt/~mikolas/cudf2pbo.html > http://sat.inesc-id.pt/~mikolas/cudf2msu.html > > My preference is the aspcud that did pretty well in the competition and > is GPL. > [...] If you want to go for answer set programming (ASP), then you might also want to know that some of those solvers are currently sitting in NEW and waiting for the ftp-master's approval, in particular gringo and clasp. I'll keep an eye on this thread, but please don't expect too much input from my side before end of January. Best regards, Michael PS.: Please keep me CC'ed, unlike zack I'm not subscribed to deity@l.d.o
Attachment:
pgpzVZSkMvFHN.pgp
Description: PGP signature