Published May 26, 2023
| Version v1.0.3
Software
Open
blishko/cav23-artifact: Artifact accompanying the paper "The Golem Horn Solver"
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
(511.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:63bbf8ea79feba3d7270930572631f35
|
93.8 MB | Preview Download |
|
md5:9492cb7d92828f6e54ca9e30a35df8ed
|
417.5 MB | Download |
|
md5:280cee704ed728b647bf22fb8ee803b4
|
99.9 kB | Download |
Additional details
Related works
- Is supplement to
- https://github.com/blishko/cav23-artifact/tree/v1.0.3 (URL)