Design is a kind of Constraints Satisfaction Problem (CSP).

https://en.m.wikipedia.org/wiki/Constraint_satisfaction_prob...