[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: SAT-Britney status and howto


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).

 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: