| -brancher-presets <string> | - | Variables that are preset before brancher is |
| called. String tokens are [=|!|#|+var|-var]* [default=''''] | ||
| -dependence <char> | - | Modify Independent/Dependent Variables (n=no change, |
| r=reverse, c=clear) [default='c'] | ||
| -max-solutions <number> | - | Set the maximum number of solutions to search for. 0 will |
| cause the solver to search for as many solutions as it can find. | ||
| The algorithm does not guarantee that it reports all possible | ||
| solutions. [default=1] | ||
| -max-brancher-time <number> | - | Set the time limit in seconds (0=no limit) |
| [default=0] |