Published May 26, 2023
| Version v1.0.3
Software
Open
blishko/cav23-artifact: Artifact accompanying the paper "The Golem Horn Solver"
Authors/Creators
Description
With this release, we include the archive of the docker image and an archive with Golem sources.
Files
blishko/cav23-artifact-v1.0.3.zip
Files
(93.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:63bbf8ea79feba3d7270930572631f35
|
93.8 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/blishko/cav23-artifact/tree/v1.0.3 (URL)