In addition to Solvespace there is the nascent (but surprisingly polished): https://dune3d.org/ https://dune3d.org/ the Github page of which has the following

In addition to Solvespace there is the nascent (but surprisingly polished): https://dune3d.org/ https://dune3d.org/ the Github page of which has the following footnote: >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. ↩ Which really impressed me because it was the first graphical and interactive 3D program I tried which felt sort of comfortable and understandable (which is why I mostly use OpenSCAD and similar programmatic approaches).