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