Merge Quantifier blocks in Prenex
SSoelvsten opened this issue · comments
Currently, multiple exists in succession on the prenex chain are not merged.
SSoelvsten / bdd-benchmark
Benchmarking Suite for BDD packages
Benchmarking Suite for BDD packages
SSoelvsten opened this issue · comments
Currently, multiple exists in succession on the prenex chain are not merged.