next up previous contents
Next: Quick Start - Getting Up: Quick Start - Some Previous: Creating and using an   Contents


It is possible that the particular command line settings will cause an inefficient search and/or preprocessing on a given input. The following is a list of suggestions for helping sbsat to yield a result.

John Franco 2011-09-15