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

@@ -0,0 +1,22 @@
+{
+    "name": "Amaya",
+    "contributors": [
+        "Vojtěch Havlena", "Michal Hečko", "Lukáš Holík", "Ondřej Lengál"
+    ],
+    "contacts": ["Michal Hečko <[email protected]>", "Ondřej Lengál <[email protected]>"],
+    "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"
+}