Enable SAT solver parser.