Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Recurso digital |
| Lenguaje: | |
| Publicado: |
Zenodo
2026
|
| Materias: | |
| Acceso en línea: | https://doi.org/10.5281/zenodo.20018748 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 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`