[Haskell-cafe] Sat solver

Josef Svenningsson josefs at cs.chalmers.se
Thu Feb 5 12:23:09 EST 2004


On Thu, 5 Feb 2004, Ron de Bruijn wrote:

> Hi there,
> I need a complete 3-CNF-Sat solver that can solve
> sentences of about length 20 (or shorter).
> Now I use simple model checking, but that's a bit slow
> , you understand :)
> I have seen some algorithms on the web and some
> code-sniplets in papers. But I presume there is some
> implementation available, so I thought: Let's ask, and
> don't reinvent the wheel.
Well, I don't know a any good sat solver written in haskell. But there are
plenty written in c/c++. One example is Satzoo which is pretty good:

I have a haskell binding to Satzoo if you're interested. Just mail me.



More information about the Haskell-Cafe mailing list