From 4efa85824ace7c8a78637a93636a99595c420bb6 Mon Sep 17 00:00:00 2001
From: Vishal Kumar Swain <vkswain50@gmail.com>
Date: Fri, 1 May 2026 22:31:32 +0530
Subject: [PATCH 1/3] Add NeuroSym solver submission for SMT-COMP 2026

---
 submissions/NeuroSym/NeuroSym.json | 34 ++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 submissions/NeuroSym/NeuroSym.json

diff --git a/submissions/NeuroSym/NeuroSym.json b/submissions/NeuroSym/NeuroSym.json
new file mode 100644
index 000000000..d030a7e71
--- /dev/null
+++ b/submissions/NeuroSym/NeuroSym.json
@@ -0,0 +1,34 @@
+{
+    "name": "NeuroSym",
+    "contributors": [
+        "Vishal Kumar Swain",
+        "Sangharatna Godboley",
+        "P. Radha Krishna",
+        "Avijit Das",
+        "Bhaskar Sri Viswaroopanand"
+    ],
+    "contacts": ["Vishal Kumar Swain <vkswain50@gmail.com>"],
+    "archive": {
+        "url": "https://github.com/VishalKumarSwain/NeuroSym/archive/refs/tags/v1.0-pre.tar.gz",
+        "h": { "sha256": "bd4716f925905374d330c199c02c1b70f664f668c5a52e1ba1f342d27f3fd2f5" }
+    },
+    "website": "https://github.com/VishalKumarSwain/NeuroSym",
+    "system_description": "https://github.com/VishalKumarSwain/NeuroSym/blob/main/GANSAT_Mathematical_Details.md",
+    "command": ["python", "main.py"],
+    "solver_type": "Standalone",
+    "seed": "42",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["QF_LIA"]
+        },
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["QF_BV"]
+        },
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["QF_ABV"]
+        }
+    ]
+}

From e078c5a33ab8ebb63d7dcf37c40f516848e57c82 Mon Sep 17 00:00:00 2001
From: Vishal Kumar Swain <vkswain50@gmail.com>
Date: Fri, 1 May 2026 22:48:00 +0530
Subject: [PATCH 2/3] Fix Prettier formatting in NeuroSym.json

---
 submissions/NeuroSym/NeuroSym.json | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/submissions/NeuroSym/NeuroSym.json b/submissions/NeuroSym/NeuroSym.json
index d030a7e71..9555e7e30 100644
--- a/submissions/NeuroSym/NeuroSym.json
+++ b/submissions/NeuroSym/NeuroSym.json
@@ -10,7 +10,9 @@
     "contacts": ["Vishal Kumar Swain <vkswain50@gmail.com>"],
     "archive": {
         "url": "https://github.com/VishalKumarSwain/NeuroSym/archive/refs/tags/v1.0-pre.tar.gz",
-        "h": { "sha256": "bd4716f925905374d330c199c02c1b70f664f668c5a52e1ba1f342d27f3fd2f5" }
+        "h": {
+            "sha256": "bd4716f925905374d330c199c02c1b70f664f668c5a52e1ba1f342d27f3fd2f5"
+        }
     },
     "website": "https://github.com/VishalKumarSwain/NeuroSym",
     "system_description": "https://github.com/VishalKumarSwain/NeuroSym/blob/main/GANSAT_Mathematical_Details.md",

From 2a040f67ae50e66b046f1fdd62a5fa6364aef296 Mon Sep 17 00:00:00 2001
From: Vishal Kumar Swain <vkswain50@gmail.com>
Date: Sat, 2 May 2026 11:56:13 +0530
Subject: [PATCH 3/3] Remove Bhaskar Sri Viswaroopanand from authors

---
 submissions/NeuroSym/NeuroSym.json | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/submissions/NeuroSym/NeuroSym.json b/submissions/NeuroSym/NeuroSym.json
index 9555e7e30..674fe7c20 100644
--- a/submissions/NeuroSym/NeuroSym.json
+++ b/submissions/NeuroSym/NeuroSym.json
@@ -4,8 +4,7 @@
         "Vishal Kumar Swain",
         "Sangharatna Godboley",
         "P. Radha Krishna",
-        "Avijit Das",
-        "Bhaskar Sri Viswaroopanand"
+        "Avijit Das"
     ],
     "contacts": ["Vishal Kumar Swain <vkswain50@gmail.com>"],
     "archive": {