Show HN: (Failing to) model Python regular expressions with Z3

2 points| pschanely | 5 years ago |medium.com