Invia SMS: Constraint-Based Reasoning