Constraint-Driven Design Closure