next up previous contents
Next: Converting the input file Up: Quick Start - The Previous: Bounded Model Checking   Contents

Choosing a search procedure

By default, sbsat searches using the backtracking SMURF solver. But this can be changed using command line switches. The table below summarizes the switches and results.

Search Default Switch Description
SMURF yes -b Backtrack w/ learning
BDD WalkSAT no -w Local search
WVF (experts) no -m For debugging and research
Simple (experts) no -t For debugging and research
No solver no -n Exit sbsat after preprocessing

John Franco 2011-09-15