On Thu, Aug 04, 2011 at 04:29:52PM +0200, Joachim Breitner wrote: > Am Freitag, den 29.07.2011, 18:38 +0200 schrieb Joachim Breitner: > > If you want to play around with it, just log onto ries:~nomeata. If you > > want to play with the code, you can fetch it with > > $ darcs get http://darcs.nomeata.de/sat-britney/ > Phil urged me to use something less obscure, so here you are: I beg to differ on calling darcs obscure. I just said that we've already got infrastructure to handle git. ;-) I tried running it on franck yesterday and it didn't get through the "relaxing testing to an installable state" step within two hours. (No threading in clisp activated, plain SAT-Britney compiled on Debian unstable.) So I guess there's still some debugging needed? Or is that a fundamental flaw of the used heuristics? Kind regards Philipp Kern
Attachment:
signature.asc
Description: Digital signature