z4 CHC-COMP 2026 Linux x86_64 artifact (c88dadf3e182)
Fuente:
Zenodo
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Recurso digital |
| Pubblicazione: |
Zenodo
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866901627254865920 |
|---|---|
| author | Yates, Andrew |
| author_facet | Yates, Andrew |
| contents | CHC-COMP 2026 submission artifact for z4. This record contains `z4-chccomp-2026-linux-x86_64.tar.gz`, a Linux x86_64 static z4 binary packaged with the CHC-COMP wrapper. The wrapper prints exactly one of `sat`, `unsat`, or `unknown`, and degrades unsupported or failed runs to `unknown`. Source commit: `c88dadf3e18289d36d376508a3418d2a9f3d2950` Archive SHA256: `e899b3394105862cb55a83cac8e4a49c4e442778d136e0c522f1999fc67fec42` Binary SHA256: `1dc43421119371c7515e18d0de91de08a8854d676bed11036131d2d9fb111381` |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_20018748 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | z4 CHC-COMP 2026 Linux x86_64 artifact (c88dadf3e182) Yates, Andrew CHC-COMP Constrained Horn Clauses solver z4 CHC-COMP 2026 submission artifact for z4. This record contains `z4-chccomp-2026-linux-x86_64.tar.gz`, a Linux x86_64 static z4 binary packaged with the CHC-COMP wrapper. The wrapper prints exactly one of `sat`, `unsat`, or `unknown`, and degrades unsupported or failed runs to `unknown`. Source commit: `c88dadf3e18289d36d376508a3418d2a9f3d2950` Archive SHA256: `e899b3394105862cb55a83cac8e4a49c4e442778d136e0c522f1999fc67fec42` Binary SHA256: `1dc43421119371c7515e18d0de91de08a8854d676bed11036131d2d9fb111381` |
| title | z4 CHC-COMP 2026 Linux x86_64 artifact (c88dadf3e182) |
| topic | CHC-COMP Constrained Horn Clauses solver z4 |
| url | https://doi.org/10.5281/zenodo.20018748 |