Why in a browser if it's local-first?<p>Solvespace has the benefit of being a single download/executable.<p>It also has a constraint solver which has been used in a couple of projects: CADsketcher as you noted, and Dune 3D: <a href="https://github.com/dune3d/dune3d">https://github.com/dune3d/dune3d</a> where the author noted:<p>>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 also had to patch the solver to make it sufficiently fast for the kinds of equations I was generating by symbolically solving equations where applicable.<p>Any relation to: <a href="https://github.com/jay3sh/cadmium">https://github.com/jay3sh/cadmium</a> ?<p>Also, for CAD kernels, Manifold was not mentioned: <a href="https://github.com/elalish/manifold/wiki/Manifold-Library">https://github.com/elalish/manifold/wiki/Manifold-Library</a> --- while I understand it to have many of the same disadvantages as OpenCASCADE, it does seem worth mentioning.<p>Interestingly the kernel was previously discussed here:<p><a href="https://news.ycombinator.com/item?id=35071317">https://news.ycombinator.com/item?id=35071317</a><p>It seems really interesting/promising, esp. the compleat history and editability (I'd love to see that history listed in a pane which could be opened/closed --- add a series of disclosure triangles which would allow hiding finished elements so that one could focus on the current task and it would be a dream come true for me --- if I can puzzle out the 3D stuff, so far I've crashed and burned on all the apps I've tried (BRL-CAD, FreeCAD, Solvespace, Alibre Atom...) --- the only thing I've been successful w/ is OpenSCAD and similar coding tools).