New top story on Hacker News: Sat solver on top of regex matcher

Sat solver on top of regex matcher
12 by justinucd | 2 comments on Hacker News.