On Mon, Aug 08, 2011 at 11:18:21PM +0200, Joachim Breitner wrote: > 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. Yep. It's amazingly fast. > 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 linux-2.6/3.0.0-1 linux-kbuild-2.6/3.0.0-2 That wouldn't satisfy britney2's "let's keep stuff in testing" mode neither, because it expects the old ABI to remain in testing. > easy linux-latest-2.6/39 linux-2.6/3.0.0-1 linux-kbuild-2.6/3.0.0-2 This one is correct. So I think britney's rule that blocks out-of-date binaries to appear in testing should be implemented in sat-britney. It should be configurable to allow (libs oldlibs) in, though. Would that be possible? Kind regards Philipp Kern -- .''`. Philipp Kern Debian Developer : :' : http://philkern.de Stable Release Manager `. `' xmpp:phil@0x539.de Wanna-Build Admin `- finger pkern/key@db.debian.org
Attachment:
signature.asc
Description: Digital signature