Issues

• Rubik's Cube Solver

  ⏰ benchmark🎓 student project
  ssoelvsten/bdd-benchmark#159 · Filter by author ssoelvsten opened on May 8, 2026
  1

• Adapters : Common Abstract Superclass

  🔌 adapter🎓 student programmer
  ssoelvsten/bdd-benchmark#155 · Filter by author ssoelvsten opened on Feb 9, 2026

• McNet : Bidirectional Search

  ⏰ benchmarkhelp wanted🎓 student project
  ssoelvsten/bdd-benchmark#154 · Filter by author ssoelvsten opened on Feb 9, 2026 · Model Checker [ _ ]

• McNet : CTL Model Checking

  ⏰ benchmarkhelp wanted🎓 student project
  ssoelvsten/bdd-benchmark#153 · Filter by author ssoelvsten opened on Jan 30, 2026 · Model Checker [ _ ]

• Picotrav : int2float false negative

  ⏰ benchmark🔥 bughelp wanted
  ssoelvsten/bdd-benchmark#152 · Filter by author ssoelvsten opened on Nov 3, 2025

• Log Distribution and Kernel Version

  🖥️ grendel
  ssoelvsten/bdd-benchmark#149 · Filter by author ssoelvsten opened on Jan 13, 2025
  1

• Network Verification Benchmark

  ⏰ benchmark🎓 student project
  ssoelvsten/bdd-benchmark#147 · Filter by author ssoelvsten opened on Nov 12, 2024

• Where can I find the latest results of the benchmark?

  question🧑‍🔬 survey
  ssoelvsten/bdd-benchmark#145 · Filter by author sirandreww opened on Oct 21, 2024
  7

• McNet : Loop Unrolling with Pivot being the Initial State

  ⏰ benchmark🎓 student programmer
  ssoelvsten/bdd-benchmark#144 · Filter by author ssoelvsten opened on Oct 17, 2024 · Model Checker [ _ ]

• Sylvan : Crash in Lib-BDD reconstruction

  🔌 adapter🔥 bug
  ssoelvsten/bdd-benchmark#138 · Filter by author ssoelvsten opened on Sep 27, 2024 · Apply/RelProd [Pastva & Henzinger]
  9

• McNet : Saturation-like forward and backward

  ⏰ benchmark🎓 student programmer
  ssoelvsten/bdd-benchmark#128 · Filter by author ssoelvsten opened on Jul 17, 2024 · Model Checker [ _ ]

• CUDD, Sylvan : Add BDD Variants

  🔌 adapter
  ssoelvsten/bdd-benchmark#111 · Filter by author ssoelvsten opened on Apr 5, 2024
  2

• QBF Solver : ZDDs

  🔌 adapter⏰ benchmark
  ssoelvsten/bdd-benchmark#78 · Filter by author ssoelvsten opened on Sep 15, 2023 · Quantified Boolean Formula (QBF) [Van de Pol]

• QBF Solver

  ⏰ benchmark
  ssoelvsten/bdd-benchmark#53 · Filter by author ssoelvsten opened on Dec 13, 2022 · Quantified Boolean Formula (QBF) [Van de Pol]

• CUDD : Add null-check for return values

  🔌 adapter🔥 buggood first issue🎓 student programmer
  ssoelvsten/bdd-benchmark#20 · Filter by author ssoelvsten opened on Oct 9, 2021

• Add more BDD packages

  🔌 adapterhelp wanted
  ssoelvsten/bdd-benchmark#12 · Filter by author ssoelvsten opened on Dec 5, 2020
  7