| -help, -h | - | Show all program options |
| -version | - | Show program version |
| -create-ini | - | Create ini file |
| -ini <string> | - | Set the ini file [default="~/sbsat.ini"] |
| -debug <number> | - | debugging level (0-none, 9-max) [default=2] |
| -debug-dev <string> | - | debugging device [default="stderr"] |
| -params-dump, -D | - | dump all internal parameters before processing |
| -input-file <string> | - | input filename [default="-"] |
| -output-file <string> | - | output filename [default="-"] |
| -temp-dir <string> | - | directory for temporary files [default="$TEMP"] |
| -show-result <string>, | - | Show result ((n)one, (r)aw, (f)ancy) [default="n"] |
| -R <string> | ||
| -verify-solution <number> | - | Verify solution [default=1] |
| -expected-result <string> | - | Report error if the result is not as specified |
| Options are SAT, UNSAT, TRIV_SAT, | ||
| TRIV_UNSAT, SOLV_S, | ||
| SOLV_UNSAT [default=""] | ||
| -comment <string> | - | Comment to appear next to the filename [default=""] |
| -ctrl-c <number> | - | Enable/Disable Ctrl-c handler to end |
| preproc/search [default=0] | ||
| -reports <number> | - | Reporting style during branching |
| (0 - standard, 1 - crtwin) [default=0] | ||
| -competition <number> | - | Competition reporting style [default=0] |
| -sattimeout <number> | - | For SAT Competition SATTIMEOUT [default=0] |
| -satram <number> | - | For SAT Competition SATRAM [default=0] |
| -parse-filename | - | For testing purposes |