Constraint Satisfaction

Turn hard limits into design rules