SBSAT is available for download from the following website:
http://www.cs.uc.edu/~weaversa/SBSAT.html
SBSAT may also be obtained by email request to weaversa@gmail.com,
mkouril@ececs.uc.edu, or franco@gauss.ececs.uc.edu. The
distribution comes in two forms: a single CDROM and a tarball named
sbsat-latest.tar.gz. Those authorized to login to boole.ececs.uc.edu may use scp to download the tarball from directory
/home/mkouril. The command to do this in unix (from your local host)
is:
$ scp boole.ececs.uc.edu:/home/mkouril/sbsat-latest.tar.gz .
From a PC running Windows login to boole using TeraTerm Pro and
transfer the file using zmodem.
On boole, There is also a CVS repository containing SBSAT. To check out the
latest CVS sources, execute the following command in unix (from your local
host):
$ cvs -d boole.ececs.uc.edu:/home/mkouril/CVS/ co sbsat