[Haskell-cafe] RFC: SAT solver using Cont/callCC for backtracking search

Denis Bueno 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,
>
>     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


More information about the Haskell-Cafe mailing list