Published June 12, 2024
| Version v1
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.
Files
Files
(29.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9948686adb3a48b6b060ee55de88118c
|
29.2 MB | Download |
Additional details
Related works
- Is published in
- Publication: arXiv:2403.18995 (arXiv)
Software
- Repository URL
- https://github.com/MichalHe/amaya