Add 'Dynamic Variable Reordering' flag

SSoelvsten / bdd-benchmark

Benchmarking Suite for BDD packages

MIT License

11 stars 2 forks source link

Closed SSoelvsten closed 6 months ago

SSoelvsten commented 7 months ago

Add -r flag to enable dynamic variable reordering for all packages (if it exists).