A Constraint-Based Figure-Maker