I have that in checklist form on solvespace github here:
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.