Tags: sat regex smt 

Rating:

Original writeup (https://neg9.org/news/2015/4/22/plaidctf-2015-re-gex-reversing-250-writeup).