Skip to content

Commit

Permalink
Improve optimal-quantifier-concatenation (#279)
Browse files Browse the repository at this point in the history 
* Improved OQC accroding to the issue

* Added support for nested quantifiers
  • Loading branch information
@RunDevelopment
RunDevelopment authored Jul 28, 2021
1 parent 93d762b commit 6ea7524
Show file tree
Hide file tree
Showing 4 changed files with 334 additions and 119 deletions.
Loading

0 comments on commit 6ea7524

Please sign in to comment.