Hacker News new | ask | show | jobs
by anothernewdude 1523 days ago
I used Z3, kiwisolver didn't offer the correct constraints for my geometry problems.