Hi, On Fri Jul 29, 2011 at 18:38:32 +0200, Joachim Breitner wrote: > Hi, > It basically works, and even reasonably fast. Also the problem of > finding a Free PMAX-SAT solver is solved: Matthew Gwynne pointed me to > clasp which is already in Debian, was backported to squeeze by me and > installation on ries has been requested (though not performed yet, until > then it still uses minimaxsat).
done. -- Martin Zobel-Helas <[email protected]> | Debian System Administrator Debian & GNU/Linux Developer | Debian Listmaster GPG key http://go.debian.net/B11B627B | GPG Fingerprint: 6B18 5642 8E41 EC89 3D5D BDBB 53B1 AC6D B11B 627B -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
