next up previous contents
Next: Conventions Up: SBSAT User Manual and Previous: About the Manual   Contents

Conventions and Definitions

From now on we use SBSAT to refer to the package and sbsat to refer to the executable that is run to solve problems of the type stated at the beginning of the welcome section on Page [*].


John Franco 2011-09-15