regex-crossword-solver icon indicating copy to clipboard operation
regex-crossword-solver copied to clipboard

https://regexcrossword.com/ solver using Z3py

Results 3 regex-crossword-solver issues
Sort by recently updated
recently updated
newest added

Hi this is the first implementation following the discussion in #2 - Based on the PR #3 - Tests are not passing but I tried to build them to represent...

Hi, I encounter a problem with this not supported regex syntax: `^(A|B){2}-\1$` The parser fails silently until the solver returns None. I don't know how to tweak the grammar to...

Hi, I discovered another test file and added more tests; It appears that my previous fix was incomplete; sorry about that. - Now the 3 types of brace quantifiers should...