Hacker News new | ask | show | jobs
by gaogao 1628 days ago
Did you use an constraint solver library like Z3 under the hood or roll your own?