Amaya 2025

Author: ondrik

submissions/Amaya.json

@@ -0,0 +1,22 @@
+{
+    "name": "Amaya",
+    "contributors": [
+        "Vojtěch Havlena", "Michal Hečko", "Lukáš Holík", "Ondřej Lengál"
+    ],
+    "contacts": ["Michal Hečko <mhecko@proton.me>", "Ondřej Lengál <ondra.lengal@gmail.com>"],
+    "archive": {
+        "url": "https://zenodo.org/records/12627374/files/amaya-smt-comp-2024-v7.tar.gz",
+        "h": { "sha256": "b3c22a524448ea7ca95e703256d329c1b620505f80924635a281feb8dc385804" }
+    },
+    "website": "https://github.com/MichalHe/amaya",
+    "system_description": "https://raw.githubusercontent.com/VeriFIT/amaya-smt-comp/master/system-description-2025/main.pdf",
+    "command": ["amaya/run.sh"],
+    "solver_type": "Standalone",
+    "seed": "587087",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["LIA", "NIA"]
+        }
+    ]
+}