Get even a basic equation solver in there and I'll be a user! Have it handle units properly and I'll be a happy user. Have it be able to handle both worst-case and RSS tolerance stackups and I'll be in love.
Hang tight, its coming soon!
The equation solver is soon on our roadmap: https://atopile.io/roadmap/#language-features
https://solvespace.com/index.pl
It's what underlies the geometric constraint solver which you don't need for what you're doing. It's probably worth a look under the hood. You might also read this post from Michael-F-Bryan implementing something similar in Rust:
https://users.rust-lang.org/t/geometric-constraint-solvers-p...
He based his work on what he learned from Solvespace.