I coded a brute-force one before: https://github.com/darius/sketchbook/blob/master/regex/find_min_re.py https://github.com/darius/sketchbook/blob/master/regex/f

I coded a brute-force one before: https://github.com/darius/sketchbook/blob/master/regex/find_min_re.py https://github.com/darius/sketchbook/blob/master/regex/find_... Though it cares about the size of the AST rather than the concrete syntax. I can't try running it now, I'm on an iPad.