This section illustrates some of the ways a user can fine-tune a run of sbsat on a given input. It is assumed that a link to the executable has been set as per Section . Doing so makes the command sbsat accessible to everyone from every directory. The complexity of options which are available necessitates two preliminary sections describing conventions and defining terms that will be used later. All examples in this manual are part of the SBSAT distribution and may be found in the .../examples directory.