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

Input options

-limit-and-equ <number> - Min # of literals to flag sp. function and_equ [default=2]
-limit-or-equ <number> - Min # of literals to flag sp. function or_equ [default=2]
-limit-or <number> - Min # of literals to flag sp. function plainor [default=8]
-limit-xor <number> - Min # of literals to flag sp. function plainxor [default=5]
-break-xors <number> - Break XORS into linear and non-linear functions
    during search [default=1]



John Franco 2011-09-15