Zaslat SMS: A framework for Satisfiability Modulo Theories.