search

SSoelvsten / bdd-benchmark

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

Cmake fixes #67

Closed SSoelvsten closed 1 year ago

SSoelvsten commented 1 year ago

Cherry-picked from @nhusung .