Why in a browser if it's local-first? Solvespace has the benefit of being a single download/executable. It also has a constraint solver which has been used in a couple of projects: CADsketcher as you noted, and Dune 3D: https://github.com/dune3d/dune3d where the author noted: >I ended up directly using solvespace's solver instead of the suggested wrapper code since it didn't expose all of the features I needed. I als…
Manifold is a triangle mesh library. CAD should use NURBS surfaces and only triangulate them for rendering. I had looked at replacing the solvespace triangle mesh code with Manfold, but it's a lot of work and what we really need is to fix the NURBS bugs so we don't need to lean on the mesh code so much.
BTW the solvespace constraint solver is also used in the Assembly 3 workbench of FreeCAD ;-) It's really getting around these days.