now smtlib-z3 is the DEFAULT, see --smtsolver for specifying others