Published September 1, 2022
| Version v3--NFM2023
Software
Open
SSoelvsten/bdd-benchmark: NASA Formal Methods 2023
Description
Submission our paper on Adiar 1.1.0 to the NASA Formal Methods Symposium 2023. To this end, our combinatorial benchmarks can now also be solved with ZDDs. We have also added a Knight's Tour benchmark, but it might be buggy in the general version, i.e. the CUDD version.
Files
SSoelvsten/bdd-benchmark-v3--FM2023.zip
Files
(53.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:904ea81093cbd18a78ad57669452c6d0
|
53.3 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/SSoelvsten/bdd-benchmark/tree/v3--FM2023 (URL)