Hacker News new | ask | show | jobs
Solving regex crosswords with Z3 (blog.nelhage.com)
65 points by atilimcetin 233 days ago