Published January 12, 2022
| Version v7
Other
Open
ZDD Boolean Synthesis
Authors/Creators
Description
This is the artifact for the paper "ZDD Boolean Synthesis" submitted to TACAS 2022.
Files
README.md
Files
(38.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9319ac965a95af510adfa6198223f9c3
|
6.9 kB | Preview Download |
|
md5:6417ed49326f46b0e27ee48506d373e6
|
120 Bytes | Download |
|
md5:aaa68b870f2388b715d3b78c46937db9
|
38.4 MB | Download |