Next:
Preprocessing
Up:
SBSAT User Manual and
Previous:
Converting the input file
Contents
Quick Start - Some advanced features of
sbsat
Subsections
Preprocessing
Preprocessor options
Preprocessor sequence
Preprocessor command
Heuristics
The lemma cache
Controlling preprocessing and search time
Creating and using an initialization file
Debugging
Sean Weaver 2007-01-08
