6 ms·Yes. Z3 is impressive. I intend to do a write-up of how I chose to model Python values in it soon.by pschanely 7y agoYes. Z3 is impressive. I intend to do a write-up of how I chose to model Python values in it soon.