Hacker News new | ask | show | jobs
by typon 2352 days ago
This looks really cool. Love to see z3 being used for tools.
1 comments

Yes. Z3 is impressive. I intend to do a write-up of how I chose to model Python values in it soon.