2 ms·

This looks really cool. Love to see z3 being used for tools.

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