search

SSoelvsten / bdd-benchmark

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

Grendel/add qbf #106

Closed SSoelvsten closed 9 months ago

SSoelvsten commented 9 months ago

Add timings for Grendel cluster