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

Sat solver on top of regex matcher
14 by justinucd | 3 comments on Hacker News.