The footnote from the main page: https://github.com/dune3d/dune3d https://github.com/dune3d/dune3d is notable: >I ended up directly using solvespace's solver

The footnote from the main page: https://github.com/dune3d/dune3d https://github.com/dune3d/dune3d is notable: >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. There's also a top-level domain: https://dune3d.org/ https://dune3d.org/ and documentation: https://docs.dune3d.org/en/latest/ https://docs.dune3d.org/en/latest/