Saw it mentioned on Reddit, and there’s a top-level domain:
which links to the documentation and the Github:
Uses the Solvespace solver, but in 3D, so seems quite promising.
I thought the footnote was quite interesting:
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.