On Mon, Feb 11, 2008 at 5:05 PM, Don Stewart <[EMAIL PROTECTED]> wrote: > Have you thought about uploading it to hackage.haskell.org? > We've got some similar stuff up there already, > > http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sat-1.1.1 > > so feel free to upload this code!
Thanks. There's one more optimisation (clause learning) described in the paper that I intend to implement first. Then I'd like to upload it to hackage. If, after all that, I still feel adventurous, I may implement 2-watched literals. At that point it might actually be a competitive solver. But we'll see. -- Denis _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
