next up previous contents
Next: Installing SBSAT Up: Quick Start - Getting Previous: Hardware Requirements   Contents

Getting SBSAT

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



John Franco 2011-09-15