This report describes CM2, a program on the Macintosh computer for constraint-based design exploration and development. The architecture of the kernel for object- oriented constraint management is described, followed by three illustrated examples of applications built around the kernel. A concluding section lists a number of questions raised to date by the development of CM2 and its applications. Appendix 1 provides a `pseudo-code'listing of the major modules of the constraint manager