Comment by WillAdams
FreeCAD and its CAM Workbench?
For the light version maybe Solvespace?
I'm still amazed by Dune 3D: https://dune3d.org/ where the Github page has the 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.
Dune 3D is made by the same guy who did Horizon EDA (https://horizon-eda.org/). A really talented and productive person.