Hacker News new | ask | show | jobs
by judah 4787 days ago
It's based on the Z3 solver, here's Z3Py: http://rise4fun.com/z3py