Interactive Constraint-Based Modeling