3 ms·I used Z3, kiwisolver didn't offer the correct constraints for my geometry problems.by anothernewdude 5y agoI used Z3, kiwisolver didn't offer the correct constraints for my geometry problems.