-
Notifications
You must be signed in to change notification settings - Fork 5
All issues
Issue creation is restricted in this repository
- #12 · ssoelvsten opened
on Dec 5, 2020 7 - #145 · sirandreww opened
on Oct 21, 2024 7 - #155 · ssoelvsten opened
on Feb 9, 2026
Issues
is:issue state:open
is:issue state:open
Search results
Rubik's Cube Solver
⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark🎓 student projectInteresting (~ 5 ECTS) side projectsInteresting (~ 5 ECTS) side projectsStatus: Open.#159 In ssoelvsten/bdd-benchmark;Adapters : Common Abstract Superclass
🎓 student programmerWork, workWork, work🔌 adapterNew or changes to existing BDD packageNew or changes to existing BDD packageStatus: Open.#155 In ssoelvsten/bdd-benchmark;McNet : Bidirectional Search
help wantedExtra attention is neededExtra attention is needed⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark🎓 student projectInteresting (~ 5 ECTS) side projectsInteresting (~ 5 ECTS) side projectsStatus: Open.McNet : CTL Model Checking
help wantedExtra attention is neededExtra attention is needed⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark🎓 student projectInteresting (~ 5 ECTS) side projectsInteresting (~ 5 ECTS) side projectsStatus: Open.Picotrav :
int2floatfalse negativehelp wantedExtra attention is neededExtra attention is needed⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark🔥 bugSomething isn't workingSomething isn't workingStatus: Open.#152 In ssoelvsten/bdd-benchmark;Log Distribution and Kernel Version
🖥️ grendelChanges for the Grendel ClusterChanges for the Grendel ClusterStatus: Open.#149 In ssoelvsten/bdd-benchmark;Network Verification Benchmark
⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark🎓 student projectInteresting (~ 5 ECTS) side projectsInteresting (~ 5 ECTS) side projectsStatus: Open.#147 In ssoelvsten/bdd-benchmark;Where can I find the latest results of the benchmark?
questionFurther information is requestedFurther information is requested🧑🔬 surveyAn up-to-date comparative study on performanceAn up-to-date comparative study on performanceStatus: Open.#145 In ssoelvsten/bdd-benchmark;McNet : Loop Unrolling with Pivot being the Initial State
⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark🎓 student programmerWork, workWork, workStatus: Open.Sylvan : Crash in Lib-BDD reconstruction
🔌 adapterNew or changes to existing BDD packageNew or changes to existing BDD package🔥 bugSomething isn't workingSomething isn't workingStatus: Open.McNet : Saturation-like
forwardandbackward⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark🎓 student programmerWork, workWork, workStatus: Open.CUDD, Sylvan : Add BDD Variants
🔌 adapterNew or changes to existing BDD packageNew or changes to existing BDD packageStatus: Open.#111 In ssoelvsten/bdd-benchmark;