regex-crossword-solver
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...