search

SSoelvsten / bdd-benchmark

Benchmarking Suite for BDD packages
MIT License
11 stars 2 forks source link

Fix transition merging breaks with odd number of transitions #133

Closed SSoelvsten closed 4 months ago