search

SSoelvsten / bdd-benchmark

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

Make variable ordering for `rotate-90` start from the middle #94

Closed SSoelvsten closed 10 months ago

SSoelvsten commented 10 months ago

For the rotate-90 symmetry, the variable x0 should be at the centre.