just FYI, 2.0 is pretty outdated. most active development happens in a fork [1] with regular dev builds.<p>[1] <a href="https:&#x2F;&#x2F;github.com&#x2F;whitequark&#x2F;solvespace" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;whitequark&#x2F;solvespace</a>