3 ms·
https://blog.nelhage.com/post/regex-crosswords-z3/ https://blog.nelhage.com/post/regex-crosswords-z3/ was posted a few days ago here and is an interesting way t
by mcpherrinm 1y ago
https://blog.nelhage.com/post/regex-crosswords-z3/ https://blog.nelhage.com/post/regex-crosswords-z3/ was posted a few days ago here and is an interesting way to solve these
- a022311 1y agoYeah, that's how I found regexle, which eventually led me to this!