From e8e4994fec3342a458925f5db7a69b9f02a7f883 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ondra=20Leng=C3=A1l?= <ondra.lengal@gmail.com>
Date: Tue, 18 Jun 2024 08:38:26 +0200
Subject: [PATCH] Amaya's submission for SMT-COMP 2024 (#57)

* copy template

* finish initial PR

* typo

* fix archive

* add seed

* fixing symlinks

* change called script

* input format fix

* output format

* fix behaviour on NIA - return unknown

* remove Arith

* change to Zenodo
---
 submissions/Amaya.json | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 submissions/Amaya.json

diff --git a/submissions/Amaya.json b/submissions/Amaya.json
new file mode 100644
index 00000000..b112b506
--- /dev/null
+++ b/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/11625128/files/amaya-smt-comp-2024-v6.tar.gz",
+        "h": { "sha256": "5a2e5051741fa5ab1110bb5829304301f222e3aa23e2124fb8ad4e07041bc630" }
+    },
+    "website": "https://github.com/MichalHe/amaya",
+    "system_description": "https://github.com/VeriFIT/amaya-smt-comp/blob/master/system-description-2024/main.pdf",
+    "command": ["amaya/run.sh"],
+    "solver_type": "Standalone",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["LIA", "NIA"]
+        }
+    ],
+    "seed": "1337001337"
+}