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

[Julian Andres Klode]

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.

-- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (980, 'unstable'), (500, 'unstable'), (100, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.12-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_DE.utf8, LC_CTYPE=de_DE.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages clasp depends on:
ii  libc6       2.17-97
ii  libgcc1     1:4.8.2-14
ii  libstdc++6  4.8.2-14
ii  libtbb2     4.2~20130725-1.1

Versions of packages clasp recommends:
ii  gringo  4.2.1-4

Versions of packages clasp suggests:
pn  potassco-guide  <none>

-- no debconf information

-- 
Julian Andres Klode  - Debian Developer, Ubuntu Member

See http://wiki.debian.org/JulianAndresKlode and http://jak-linux.org/.

Please do not top-post if possible.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tests.tar.xz
Type: application/octet-stream
Size: 764912 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20140220/27533518/attachment-0001.obj>