This function sets the current conflict resolution strategy. The default strategy is depth.
Syntax
(set-strategy <strategy>)
where <strategy> is either depth, breadth, simplicity, complexity,
lex, mea, or random. The old conflict resolution strategy is returned.
The agenda will be reordered to reflect the new conflict resolution
strategy.