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

BDD WalkSAT solver options

-cutoff <number> - BDD WalkSAT number of flips per random
    restart [default=100000]
-random-option <number> - BDD WalkSAT option for random walk
    (1=Pick a random path to true in current BDD,
    2=Randomly flip every variable in current BDD,
    3=Randomly flip one variable,
    4=Randomly flip one variable in current BDD) [default=1]
-bddwalk-heur <char> - BDD WalkSAT Heuristic (a=adaptive
    novelty+, n=novelty+, r=random) [default='a']
-taboo-max <number> - BDD WalkSAT length of taboo list
    (used in conjunction with novelty+ heuristic) [default=6]
-taboo-multi <number> - BDD WalkSAT multiplier for the probablity
    of picking variables with taboo (used in conjunction with
    novelty+ heuristic) [default=1.500000]
-bddwalk-wp-prob <number> - BDD WalkSAT probablity of making a
    random walk (used in conjunction with novelty+ heuristic)
    [default=0.100000]
-bddwalk-prob <number> - BDD WalkSAT probablity of picking second
    best path (used in conjunction with novelty+ heuristic)
    [default=0.100000]


next up previous contents
Next: Reference - Initialization file Up: Reference - Command line Previous: SMURF Solver options   Contents
John Franco 2011-09-15