UBCSAT is a software framework that includes numerous SLS algorithms for solving SAT and MAX-SAT.

UBCSAT is NOT a single algorithm...  you must specify an algorithm to use.

UBCSAT was designed to be a command-line utility.  (There has been interest in making it more of a general software library -- get involved in the newsgroup if you're interested)

You can read the original publication (or the preprint) for more information.  It's also a chapter in Dave's PhD dissertation.

Here are the goals of the UBCSAT project from the original publication