Published January 1, 2024
| Version v1
Software
Open
HyHorn ESOP'24 Artifact Evaluation
Creators
Description
This artifact contains the HyHorn tool and benchmarks in a Docker image. Follow the instructions in the README to use it.
(Notice that Zenodo does not render tables in Markdown. Download README.md and open it in a viewer.)
Files
README.md
Files
(251.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c6b87b7c9bd77f7816be640b4d9eefbe
|
251.1 MB | Download |
|
md5:92bb2b38b0e6ddfcc00f136f0b80c6ba
|
258 Bytes | Preview Download |
|
md5:2ab724713fdaf49e4523c4503bfd068d
|
18.7 kB | Download |
|
md5:f7f43eb3a7d391d56f271e09afb49165
|
21.2 kB | Preview Download |
|
md5:9d9397bc213fb5e4cfbe6b12a00fe4fd
|
218 Bytes | Download |