For the most recent version of UBCSAT, consult the branches page and then visit the github page.
The following archive has been provided for convenience.
