Bug#739628: clasp: 3.0 cannot solve some problems solved by 2.1.4

[Thomas Krennwallner]

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