On Thu Feb 20, 2014 05:14:53PM +0100, Julian Andres Klode wrote: > Package: clasp > Version: 3.0.0-1 > Severity: normal > > clasp 2.1.4-1 can solve the attached problems, and clasp 3.0.0 > cannot. Both times using --opt-heuristic=3. I previously also > used --opt-hierarch=3, but that's not available anymore. So > I only used --opt-heuristic=3 for both tests. > > These are real world problems, namely 3 steps of upgrading a > Debian sid installation from 2014-02-02 to 2014-02-20. The > transformation of package dependencies is sub-optimal, as > it contains unneeded packages, but clasp 2 was fine solving > it, so 3.0 should handle it as well.
I've forwarded your bug report to the clasp and aspcud upstream maintainers (in CC). Best, -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers