Skip to content

Add simple handling/workaround for chained quantifiers#69

Merged
jaynetics merged 1 commit intomasterfrom handle_chained_quantifiersNov 25, 2020

Commits

Commits on Nov 25, 2020