Knowledge-based program synthesis for a geometric constraint satisfaction system

We describe an application of knowledge-based program synthesis techniques to a challenging geometric constraint satisfaction problem. We describe characteristics of the problem domain that make it a good candidate for automated program synthesis, discuss the benefits and limitations of our approach, and suggest some criteria that dictate when automated program synthesis techniques can be a powerful and practical aid in software engineering.