Someone wrote a similar algebraic constraint solver in Rust and wrote all about it here: https://users.rust-lang.org/t/geometric-constraint-solvers-part-1-algeb

Someone wrote a similar algebraic constraint solver in Rust and wrote all about it here: https://users.rust-lang.org/t/geometric-constraint-solvers-part-1-algebraic-expressions/45818 https://users.rust-lang.org/t/geometric-constraint-solvers-p... He based this on the principles in the Solvespace constraint solver which is used in the blender add-on.