next up previous contents
Next: BDD table options Up: Reference - Command line Previous: Reference - Command line   Contents

General options

-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


next up previous contents
Next: BDD table options Up: Reference - Command line Previous: Reference - Command line   Contents
John Franco 2011-09-15