Published November 14, 2022
| Version v1.2.2
Software
Open
SSoelvsten/adiar: v1.2.2
Authors/Creators
- 1. Aarhus University
Description
Bug Fixes
zdd_project(A, dom) An accidental swapping of arguments for a helper function resulted in the generated recursion requests are for the wrong elements and hence the wrong ZDD was constructed.
Fixes C++ and CMake such that Adiar compiles and runs on Mac computers with default Clang.
Files
SSoelvsten/adiar-v1.2.2.zip
Files
(422.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:499922a97a51dbd59219c1ea786149f9
|
422.0 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/SSoelvsten/adiar/tree/v1.2.2 (URL)