Sets the current conflict resolution strategy.
(set-strategy <strategy>) <strategy> ::= depth | breadth | simplicity | complexity | lex | mea | random