Walksat Home Page
Stochastic Local Search for Satisfiability
Version 50, released 31 March 2012
- 20% faster than earlier versions
- compiles under
Linux, Macintosh OSX, Ansi Unix, and Windows NT/XP/VISTA/WIN7
Right-click on "save link as" for the following:
Source code distribution
- Before Walksat came GSAT. Here's the original GSAT source.
It should work, but is no longer being updated.
Download GSAT source distribution
- A version of walksat for weighted maxsat.
Download MaxWalkSat source distribution
- A branch-and-bound Max-SAT solver developed at UCLA.
Home page for Clone
"Local Search Strategies for Satisfiability
Testing." Bart Selman, Henry Kautz, and Bram Cohen. Final
version appears in Cliques, Coloring, and Satisfiability: Second DIMACS
Implementation Challenge, October 11-13, 1993. David S. Johnson and
Michael A. Trick, ed. DIMACS Series in Discrete Mathematics and Theoretical
Computer Science, vol. 26, AMS, 1996. Appendix
Appendix summarizing results of walksat on challenge instances.
Home page for Henry Kautz
Home page for Bart Selman