Text this: Satisfiability Modulo Theories