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

On Mon, Feb 11, 2008 at 5:05 PM, Don Stewart 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