SSoelvsten/bdd-benchmark Issues
Reformat output as JSON
ClosedAdd more BDD packages
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