Title: Constraint specification and satisfaction in embodiment design