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

March 2012:

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

- Dave Tompkins