Re:Sat solver on top of regex matcher
by Thorrez on Tuesday June 23, 2020 @01:53AM
(#23610339)
Interesting. Although in that situation I think it would be easier to find the outer string, then unescape it, then find the inner string.
Although if you want to do it with pure regex, it can be done without backreferences too, although it would be exponentially large as you get more and more levels of nesting, whereas with backreferences I think it would only get quadratically large.
Although if you want to do it with pure regex, it can be done without backreferences too, although it would be exponentially large as you get more and more levels of nesting, whereas with backreferences I think it would only get quadratically large.