COLIBRI submission

SMT-COMP · May 21, 2024 · 6549b83 · 6549b83
1 parent 24c48c6
commit 6549b83
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json
@@ -0,0 +1,21 @@
+{
+    "name": "COLIBRI",
+    "contributors": [
+        "Bruno Marre", "François Bobot", "Christophe Junke"
+    ],
+    "contacts": ["Christophe Junke <[email protected]>"],
+    "archive": {
+        "url": "https://drive.google.com/file/d/1lJjQNgHRF14sGEW84eJ6tBsZ0-DBPMW2/view?usp=drive_link",
+        "h": { "sha256": "829fb89fc4a61dbc3180f400d75a283e967fef9c910ce4404a824608fb0b1c58" }
+    },
+    "website": "http://colibri.frama-c.com/",
+    "system_description": "https://drive.google.com/file/d/13c5E0iNMvpTRjmhWKb286V25Dw4f6JOF/view?usp=sharing",
+    "command": ["smtcomp_2024/bin/starexec_run_default"],
+    "solver_type": "Standalone",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": "QF_.*FP.*"
+        }
+    ]
+}