[Haskell-cafe] Sat solver

Ron de Bruijn rondebruijn at yahoo.com
Thu Feb 5 02:04:32 EST 2004

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. 

Greets Ron

P.S. Thanks to those who answered my previous
question, although I have found another way of
expressing my problem. 

Do you Yahoo!?
Yahoo! Finance: Get your refund fast by filing online.

More information about the Haskell-Cafe mailing list