Hi, just a small update from the SAT-Britney front. Am Freitag, den 05.08.2011, 23:46 +0200 schrieb Joachim Breitner: > I managed to instrument the sat4j MAX-SAT solver. Unfortunately, the > MAX-SAT part of sat4j is not packaged, but can be downloaded here: > http://forge.ow2.org/project/showfiles.php?group_id=228 I am more and more satisfied with sat4j, the speed is very good despite it being written in Java. Guess I need to revise my stereotypes :-) (But then, just before the end of DebConf I greatly simplified the SAT problems by doing some pre-processing in my code, so the problems are not really large by size any more). Phil got the version based on sat4j running on franck as well. Yesterday and today I did some more optimization, mostly to get memory consumption down. Now it does one processing run on my laptop easily within the 6GB of RAM I have, and finishes in 3min18, even in the mode that breaks down the transition into multiple small bits. I’m happy about that :-) This also means that it is a suitably fast tool to manually answer „what hint would migrate x“ (possibly with variations like „if x were old enough“, or „if bug x were fixed“, only partly implemented so far) and „why does x not migrate“ (within the limited representation of the problem in SAT-Britney). Because I have generated it anyways, here is today’s hint list. I’d like to point out that it includes the linux-*-2.6 hint that was manually sent to you by Julien. Among many probably invalid hints or hints that require birtney-2-mode... # easy apparmor/2.6.1-4 # easy pd-hid/0.7-1 # easy python-chaco/4.0.0-1 # easy python-enable/4.0.0-1 # easy python-gearman/2.0.2-2 # easy psyco-doc/1.6-2 # easy xfonts-terminus/4.35-1 # easy geogebra/3.2.47.0+dfsg1-1 # easy getfem++/4.1.1-4 # easy simgrid/3.6.1-2 easy libdbi/0.8.4-5.1 icinga/amd64/1.4.2-1 icinga/armel/1.4.2-1 icinga/i386/1.4.2-1 icinga/ia64/1.4.2-1 icinga/mips/1.4.2-1 icinga/mipsel/1.4.2-1 icinga/powerpc/1.4.2-1 icinga/s390/1.4.2-1 icinga/sparc/1.4.2-1 rrdtool/kfreebsd-i386/1.4.3-3.1 rrdtool/sparc/1.4.3-3.1 syslog-ng/amd64/3.2.4-1 syslog-ng/armel/3.2.4-1 syslog-ng/i386/3.2.4-1 syslog-ng/ia64/3.2.4-1 syslog-ng/kfreebsd-amd64/3.2.4-1 syslog-ng/kfreebsd-i386/3.2.4-1 syslog-ng/mips/3.2.4-1 syslog-ng/mipsel/3.2.4-1 syslog-ng/powerpc/3.2.4-1 syslog-ng/s390/3.2.4-1 syslog-ng/sparc/3.2.4-1 # easy hurd/20110519-3 # easy bugzilla/3.6.3.0-2 # easy tracker/0.10.21-2 # easy linux-kbuild-2.6/3.0.0-2 # easy ldb/1:1.1.1~git20110719-3 # easy libgcrypt11/1.4.6-8 # easy ucommon/5.0.4-2 # easy xml-security-c/1.6.1-1 # easy connectomeviewer/2.0.0-1 easy libapache-mod-log-sql/1.100-14.1 libdbi/0.8.4-5.1 icinga/amd64/1.4.2-1 icinga/armel/1.4.2-1 icinga/i386/1.4.2-1 icinga/ia64/1.4.2-1 icinga/mips/1.4.2-1 icinga/mipsel/1.4.2-1 icinga/powerpc/1.4.2-1 icinga/s390/1.4.2-1 icinga/sparc/1.4.2-1 rrdtool/kfreebsd-i386/1.4.3-3.1 rrdtool/sparc/1.4.3-3.1 syslog-ng/amd64/3.2.4-1 syslog-ng/armel/3.2.4-1 syslog-ng/i386/3.2.4-1 syslog-ng/ia64/3.2.4-1 syslog-ng/kfreebsd-amd64/3.2.4-1 syslog-ng/kfreebsd-i386/3.2.4-1 syslog-ng/mips/3.2.4-1 syslog-ng/mipsel/3.2.4-1 syslog-ng/powerpc/3.2.4-1 syslog-ng/s390/3.2.4-1 syslog-ng/sparc/3.2.4-1 easy gammu/1.30.0-2 libdbi/0.8.4-5.1 icinga/amd64/1.4.2-1 icinga/armel/1.4.2-1 icinga/i386/1.4.2-1 icinga/ia64/1.4.2-1 icinga/mips/1.4.2-1 icinga/mipsel/1.4.2-1 icinga/powerpc/1.4.2-1 icinga/s390/1.4.2-1 icinga/sparc/1.4.2-1 rrdtool/kfreebsd-i386/1.4.3-3.1 rrdtool/sparc/1.4.3-3.1 syslog-ng/amd64/3.2.4-1 syslog-ng/armel/3.2.4-1 syslog-ng/i386/3.2.4-1 syslog-ng/ia64/3.2.4-1 syslog-ng/kfreebsd-amd64/3.2.4-1 syslog-ng/kfreebsd-i386/3.2.4-1 syslog-ng/mips/3.2.4-1 syslog-ng/mipsel/3.2.4-1 syslog-ng/powerpc/3.2.4-1 syslog-ng/s390/3.2.4-1 syslog-ng/sparc/3.2.4-1 easy tracker/0.10.21-2 totem/2.30.2-8 easy brasero/2.30.3-3 tracker/0.10.21-2 easy xml-security-c/1.6.1-1 xmltooling/1.4.2-1 easy linux-2.6/3.0.0-1 linux-kbuild-2.6/3.0.0-2 easy linux-latest-2.6/39 linux-2.6/3.0.0-1 linux-kbuild-2.6/3.0.0-2 easy opensaml2/2.4.3-1 xml-security-c/1.6.1-1 xmltooling/1.4.2-1 Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part