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

March 2012:

• The UBCSAT web page has moved.  It is now at: http://ubcsat.dtompkins.com
• The source for UBCSAT is now hosted on github: https://github.com/dtompkins/ubcsat
• For help, email: ubcsat@googlegroups.com
• For announcements and discussions, join the google group: http://groups.google.com/group/ubcsat
  

We will continue to maintain the archive of UBCSAT releases on this website:

• Version 1.1.0 (Sea to Sky Release)
• Version 1.0.0 (Grouse Mountain Release)

- Dave Tompkins