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

[Benjamin Kaufmann]

On 02/21/2014 07:29 AM, Thomas Krennwallner wrote:
> 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,
>

This is a bug in the PB front-end of clasp-3.0.0.
It will be fixed in the next release.

Regards,
Ben