[Resent, as l.d.o still does not like mails from my private address mail@...]
Hi, On Thu, 26 May 2011 15:01:49 +0200, Joachim Breitner <nome...@debian.org> wrote: > Correct. MAX-SAT (or, more precise, PMAX-SAT) is what we want to use. BTW, here is a competition for PMAX-SAT, with a DIMACS-based input and some results: http://maxsat.ia.udl.cat/requirements/ specification http://www.maxsat.udl.cat/10/results/ last years result Didn't check yet which of these solvers are Free Software (I have checked other lists before and was disappointed how many of them do not share the source, hoping to make some bucks with it it seems), but anyways, I'd say this specifies our layer 1. Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part
