next up previous contents
Next: Selecting Ordering and Selection Up: The Interaction Cycle Previous: Reading Clauses   Contents

Selecting the Inference System

Before starting a saturation, the user defines the various parameters of the saturation process. All commands that set some system parameter start with the prefix sa for ``set active ... ''. The system comes with default settings that should be fine for initial experimentation. Parameter settings are also predefined specifically for each example directory (cf. cd) and may be included in problem definitions (cf. in).

The inference system is set with the commands sair and saes The inference system is further parameterized by a selection strategy for negative literals. This strategy is (re-)defined with the command sass.



Harald Ganzinger 2002-12-04

Imprint | Data Protection