Offtopic shoutout for solvespace, it is amazing! Is separating out the geometry code into a stand alone library on the roadmap at all? Or plans to incorporate the manifold library?
My hope is to squash the remaining bugs in that code. I'm currently working on an issue with coincident and tangent surfaces.
The constraint solver is available as a library and is currently used in FreeCAD assembly 3 workbench, as well as the Blender CAD Sketcher addon.