Package: sat4j Version: 2.3.0-1 Severity: wishlist -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi, for the SAT-Britney tool I am working on right now I need good, reliable and free MAX-SAT solvers in Debian. I managed to get the maxsat extension on http://forge.ow2.org/project/showfiles.php?group_id=228&release_id=4551 working and would like to see this packaged. Especally as DSA prefers to install packaged software on the debian machines. Thanks, Joachim - -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable'), (101, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.39-2-amd64 (SMP w/2 CPU cores) Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages sat4j depends on: ii default-jre [java6-runtime] 1:1.6-40 Standard Java or Java compatible R ii jarwrapper 0.37 Run executable Java .jar files ii openjdk-6-jre [java6-runtim 6b18-1.8.7-5 OpenJDK Java runtime, using Hotspo ii sun-java5-jre [java5-runtim 1.5.0-17-0.1 Sun Java(TM) Runtime Environment ( ii sun-java6-jre [java6-runtim 6.26-1 Sun Java(TM) Runtime Environment ( sat4j recommends no packages. sat4j suggests no packages. - -- no debconf information -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk48Zd0ACgkQ9ijrk0dDIGytjACghrlgiKdwhgTwOPFBSClxpc40 RJoAnRN/Y/2HYD0VvZRRuL8/Ot89cEoQ =sb4v -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
