Become root as in Section (This step may not be
necessary). Change to the directory containing the SBSAT files, called the
root directory of the SBSAT tree. If you followed the instructions in
Section this is accomplished with the following
$ cd /usr/local/sbsat
Issue the commands
From now on files and directories contained in or below the root directory of the SBSAT tree will be referred to with .../ prepended to their paths originating from that directory. If no errors are reported the SBSAT executable, named sbsat, exists in directory .../src. To use the executable conveniently from any directory it is advisable to set a link to it from some directory that is in your PATH. This can be done automatically by executing the command (as root)
$ make install
This command places sbsat in /usr/local/bin. To do this by hand, if /usr/local/bin is in your PATH (it normally is), as root change directory to /usr/local/bin then set a link as in the following
$ cd /usr/local/bin
$ ln -s .../src/sbsat .
where .../ should be replaced by the path of the root directory of the SBSAT tree. Now issuing the command sbsat from any directory will start the solver. But, don't do this yet as there are some fine points to using SBSAT which must be discussed.