Merge Quantifier blocks in Prenex

SSoelvsten / bdd-benchmark

Benchmarking Suite for BDD packages

MIT License

11 stars 2 forks source link

Closed SSoelvsten closed 9 months ago

SSoelvsten commented 9 months ago

Currently, multiple exists in succession on the prenex chain are not merged.