SSoelvsten/bdd-benchmark Issues
Add more BDD packages
UpdatedReformat output as JSON
UpdatedAdd BDD Variants for CUDD and Sylvan
Updated 2Can't get rust to work
Closed 3Extend QBF Solver with ZDDs.
UpdatedAdd SAT/QBF Solver Benchmark
UpdatedFix CAL has Segmentation Faults
Closed 4Faster N-Queens benchmark
Closed 1Sylvan: Switch to C++ interface
Closed 1