SATLIB - Solvers

Please help us to maintain a collection of state-of-the-art SAT solvers by submitting new algorithms and pointing out those we might have missed.

• Stochastic Local Search Algorithms (incomplete)
  • UBCSAT, Version 1.0.0 (contributed by Dave Tompkins)
  • GSAT, Version 41 (contributed by Henry Kautz and Bart Selman)
  • WalkSAT, Version 35 (contributed by and Bart Selman)

• Systematic Search Algorithms (complete)
  • GRASP (version of Feb. 2000; contributed by Joao P. Marques da Silva)
  • NTAB (via James Crawford's home page)
  • POSIT, Version 1.0 (contributed by Jon W. Freeman)
  • REL_SAT, Version 2.00 (contributed by Roberto Bayardo)
  • REL_SAT, Version 1.0 (contributed by Roberto Bayardo)
  • REL_SAT, E-mail access (maintained by Roberto Bayardo)
  • REL_SAT-rand, Version 1.0 (contributed by Henry Kautz)
  • SATO, Version 3.2.1 (contributed by Hantao Zhang)
  • SATO, Version 3.0 (known bugs!) (contributed by Hantao Zhang)
  • Satz213 (new version) (contributed by Chu-Min Li)
  • Satz (contributed by Chu-Min Li)
  • Satz-rand, Version 4.7 (contributed by Henry Kautz)
  • Satz-rand, Version 2.0 (contributed by Carla Gomes, Henry Kautz, and Bart Selman)