| -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] |
