Closed BrianLi009 closed 1 year ago
stop when n1 vars are removed, solve, cube the remaining to n2 vars, repeat…
https://github.com/curtisbright/PhysicsCheck/blob/master/3-cube-merge-solve-extend.sh
stop when n1 vars are removed, solve, cube the remaining to n2 vars, repeat…