Constraint specification and satisfaction in embodiment design