Not perfectly relevant but build123d docs have an example using sympy as part of solving constraints for a design. https://build123d.readthedocs.io/en/latest/tttt.html#t-24-cu...