next up previous contents
Next: Getting SBSAT Up: Quick Start - Getting Previous: Quick Start - Getting   Contents

Hardware Requirements

Currently, sbsat requires a Unix style operating system with a c++ compiler, preferably, but not necessarily, the GNU g++ compiler. All examples require at least 32MB of RAM beyond the requirements of the operating system. Disk requirements depend on the operating system but at least 50MB of free space is required.

By default, during execution, sbsat is allocated as much RAM as it needs, if available. The amount of memory requested by sbsat can be limited only indirectly by changing, for example, the number of lemmas it maintains in the cache or the size of the pools for different stacks4. There is no other option to limit the amount of memory it is allocated. Experiments confirm that the amount of memory requested linearly follows the size of the problem being solved. sbsat is not multi-threaded and does not take advantage of multiple processors.

John Franco 2011-09-15