From 7658a1dd621c3b5ab5010aaf0c8b61685e70fe8c Mon Sep 17 00:00:00 2001
From: Amar Shah <shah.amar1000@gmail.com>
Date: Wed, 12 Jun 2024 13:40:43 +0200
Subject: [PATCH] Adding link to solver executable

---
 submissions/algaroba.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/submissions/algaroba.json b/submissions/algaroba.json
index 409ff541..afcebce5 100644
--- a/submissions/algaroba.json
+++ b/submissions/algaroba.json
@@ -7,11 +7,11 @@
     ],
     "contacts": ["Amar Shah <amarshah@cmu.edu>"],
     "archive": {
-        "url": "https://github.com/uclid-org/algaroba/archive/refs/tags/v1.0.0.tar.gz"
+        "url": "https://github.com/user-attachments/files/15804020/algaroba.tar.gz"
     },
     "website": "https://github.com/uclid-org/algaroba",
     "system_description": "https://github.com/uclid-org/algaroba/files/15255360/Algaroba_at_the_2024_SMTCOMP.pdf",
-    "command": ["algaroba"],
+    "command": ["algaroba/algaroba.exe"],
     "solver_type": "wrapped",
     "participations": [
         { "tracks": ["SingleQuery"], "logics": ["QF_DT", "QF_UFDT"], "divisions": ["QF_Datatypes"] }