[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 <nomeata@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 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