Re: SAT-Britney status and howto
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 <zobel@debian.org> | 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
Reply to: