SAT - Solvers
an interessting propositional SAT solver. Sources, documentation, papers and other material is available on the page.
is a propositional SAT solver, contributed by
a SAT solver using local search (contributed by
is a SAT solver contributed by
a SAT solver using randomized restarts ( contibuted by
If you know of tools that should be linked here, please contact the
of these pages.