Allow ' and - in SMT solver names