next up previous contents
Next: Reference - Input formats Up: SBSAT User Manual and Previous: BDD WalkSAT solver options   Contents


Reference - Initialization file

An initialization file allows the user to launch sbsat with a much abbreviated command line. That is, the file may contain all switches and parameters that would normally be part of the sbsat command line when it is launched. More than one initialization file can exist to allow the user to define different settings for different problem types by creating initialization files for each type. An initialization file may be loaded during launch using the following:


$ sbsat -ini <path-to-initialization-file>

If only a filename is specified instead of a path, SBSAT looks in the current directory for the file. If the -ini switch is not used, then SBSAT looks in the user's home directory for sbsat.ini and loads that file if it is found. If the file is not found, the default internal settings are used. If the file exists and additional command line options are given, those options specified on the command line override any that appear in the initialization file.

An initialization file is a simple text file which may be created and edited using a standard text editor or created by using the following command which dumps the default settings, in the initialization file format, to a file whose name the user specifies:


$ sbsat -create-ini > <user-specified-filename>

Each line of the initialization file is either whitespace or a command which sets an internal parameter to a value. A command consists of a parameter name on the left, followed by an `=' followed by a value on the right. A comment is any text on any line following and including the first occurrence of the `#' character on that line. The sample initialization file shown in Figure [*] presets variables 1-15 at the start of preprocessing, sets the debug output level to 3, and changes the default preprocessing sequence to {ExDc}{ExSt}{ExPr}{{ExEs}1}. An initialization file only needs to contain the settings the user wants modified from the default settings.

Figure: Example initialization file.
\begin{figure}\begin{verbatim}...


next up previous contents
Next: Reference - Input formats Up: SBSAT User Manual and Previous: BDD WalkSAT solver options   Contents
John Franco 2011-09-15