next up previous contents
Next: Preprocessing options Up: Reference - Command line Previous: Input options   Contents

Output options

-b - Start SMURF solver [default]
-w - Start BDD WalkSAT solver
-m - Start WVF solver
-t - Start a stripped down version of the SMURF solver
-n - Don't start any brancher or conversion
-s - Output in SMURF format
-c - Output in CNF format
-v - Output in VHDL/FPGA format
-p - Output in tree like format
-formatout <char> - Output format [default='b']
-cnf <string> - Format of CNF output (3sat, qm, noqm)
    [default="noqm"]
-tree - Output BDDs in tree representation (used in
    conjunction with -p)
-tree-width <number> - Set BDD tree printing width [default=64]
-prover3-max-vars <number> - Max variables per BDD when reading
    3 address code (input format 3) [default=10]


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