next up previous contents
Next: A CNF formula as Up: Quick Start - The Previous: Quick Start - The   Contents

Command line

The usage of SBSAT is:


$ sbsat [options] [inputfile [outputfile]]


There are two basic options required by GNU standard. One is


-version


This displays the current version. The other is


-help


This shows all the command line options. More information on these is given later.

If sbsat is launched without parameters it expects the input data on standard input.

The first parameter without a dash is the input data file, the second parameter without a dash is the output file. If no output file is specified sbsat it will print all output to the terminal.



John Franco 2011-09-15