USE-FAST-PROP-SEARCH : FLAG

USE-FAST-PROP-SEARCH is a flag or parameter.
If T, will attempt to use the path-focused fast propositional
theorem prover on all problems, before switching to the usual default
mating-search if this fails. If NIL, will use the default mating-search
only.
USE-FAST-PROP-SEARCH takes values of type BOOLEAN.
It belongs to subjects MATING-SEARCH .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage