next up previous contents
Next: Debugging Up: Quick Start - Some Previous: Controlling preprocessing and search   Contents

Creating and using an initialization file

When working on a problem that requires using a long command line over and over, it is convenient to create an initialization file to prevent having to reenter the switches on every run. The initialization file contains a list of settings that are translated to switches by sbsat when it is invoked. SBSAT automatically looks for sbsat.ini in the user's home directory (that is, it looks for a file ~/sbsat.ini).

To create an ini file with the default values for all available options use the following command:


$ sbsat -create-ini > ~/sbsat.ini


The initialization file may be created and/or edited by the user.

Remark: Command line options take precedence over ini file settings. This allows short command lines with many custom settings and is useful for experimentation.

Remark: It is possible to maintain several initialization files and load a desired one from the command line. Do this, for example, as follows:


$ sbsat -ini myini.ini example.cnf


which loads the options of initialization file myini.ini.


next up previous contents
Next: Debugging Up: Quick Start - Some Previous: Controlling preprocessing and search   Contents
John Franco 2011-09-15