Describir: Satisfiability Modulo Theories: Introduction and Applications.