Bug#685094: minisat+: Segmentation fault

[Julian Andres Klode]

Package: minisat+
Version: 1.0-2
Severity: normal

minisat+ produces a segmentation fault on the attached example. The
example is LARGE, but represents a multi-arch (i386 + amd64) system
using a simplified version of the PBO representation found in some
mancoosi document.


-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (990, 'unstable'), (500, 'unstable'), (500, 'testing'), (500, 'stable'), (100, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.2.0-3-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 minisat+ depends on:
ii  libc6       2.13-35
ii  libgcc1     1:4.7.1-7
ii  libgmp10    2:5.0.5+dfsg-2
ii  libstdc++6  4.7.1-7
ii  zlib1g      1:1.2.7.dfsg-13

minisat+ recommends no packages.

minisat+ suggests no packages.

-- no debconf information

-- 
Julian Andres Klode  - Debian Developer, Ubuntu Member

See http://wiki.debian.org/JulianAndresKlode and http://jak-linux.org/.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: program.xz
Type: application/octet-stream
Size: 1259588 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20120816/e1eb96eb/attachment-0001.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20120816/e1eb96eb/attachment-0001.pgp>