Title: Using high-level constraints to aid space planning applications in computer-aided design