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