Published July 2, 2024
| Version v3
Software
Open
Amaya v2.0 for SMT-COMP 2024
Authors/Creators
- 1. Brno University of Technology
Description
Version of the quantified linear integer arithmetic (LIA) solver Amaya submitted to SMT-COMP'24 (bugfixed non-competing version).
Files
Files
(29.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:efc8302ed30fcbf3b77dfc418c4c350c
|
29.2 MB | Download |
Additional details
Related works
- Is published in
- Publication: arXiv:2403.18995 (arXiv)
Software
- Repository URL
- https://github.com/MichalHe/amaya