Published May 12, 2023
| Version v1.0.2
Software
Open
blishko/cav23-artifact: Artifact accompanying the paper "The Golem Horn Solver"
Authors/Creators
Description
Compared to v.1.0.1, this version fixes problem with building the Docker image using the Docker's legacy engine.
Files
blishko/cav23-artifact-v1.0.2.zip
Files
(93.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d2d188ca261b1b20f8c72f4720442cea
|
93.8 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/blishko/cav23-artifact/tree/v1.0.2 (URL)