[Haskell-cafe] RFC: SAT solver using Cont/callCC for backtracking
dbueno at gmail.com
Mon Feb 11 17:14:47 EST 2008
On Mon, Feb 11, 2008 at 5:05 PM, Don Stewart <dons at galois.com> wrote:
> Have you thought about uploading it to hackage.haskell.org?
> We've got some similar stuff up there already,
> 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
But we'll see.
More information about the Haskell-Cafe