Solvespace seems a lot more compelling

https://files.whitequark.org/SolveSpace/solvespace.html (web demo)