The Stochastic Local Search SAT Solver from The University of British Columbia - BETA-Lab

(return the the main ubcsat page)

ARCHIVE

Please consult the legal.txt in the latest release for copyright and legal information

• Version 1.0.0 (Grouse Mountain Release)

Changes between the various pre-1.0.0 beta releases are listed here

• Version 0.9.7 (Beta)
• Version 0.9.6 (Beta)
• Version 0.9.5 (Beta)
• Version 0.9.4 (Beta)
• Version 0.9.3 (Beta)
• Version 0.9.2 (Beta)
• Version 0.9.1 (Beta)
• Version 0.9 (Beta)