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

General solver options

-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-solver-time <number> - Set the time limit in seconds (0=no limit)
    [default=0]



John Franco 2011-09-15