SBSAT is available for download from the following website:
SBSAT may also be obtained by email request to email@example.com,
firstname.lastname@example.org, or email@example.com. 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