Text this: Constraint-Based Verification