Oh, and the Blender CAD Sketcher add-on also uses our constraint solver.