Welcome to the (new!) UBCSAT homepage.

UBCSAT is a Stochastic Local Search SAT Solver framework.  It is named after the University of British Columbia, where it was developed by Dave Tompkins under the supervision of Holger Hoos.  (see the about page for a longer introduction)

The source code for UBCSAT is now hosted on github.  You should check out the branches page for a description of the git repository.

There are some other links on the left you may want to check out.

If you use UBCSAT in your research, we'd appreciate a citation in your publications.  There's a BibTeX entry here

If you have questions or need help, email ubcsat@googlegroups.com.

MAJOR ANNOUNCEMENTS: (for more frequent announcements and UBCSAT discussions, subscribe to the newsgroup)