[Submission] colibri2 (#162)

* [Submission] colibri2

* fix comma

* [submission] colibri2 draft system description

* [colibri2] Add zenodo url

Author: bobot

submissions/colibri2.json

@@ -0,0 +1,24 @@
+{
+    "name": "colibri2",
+    "contributors": [
+        "François Bobot",
+        "Hichem Ait El Hara",
+        "Christophe Junke"
+    ],
+    "contacts": ["François Bobot <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15769941/files/colibri2_starexec_3037762e.tar.gz?download=1"
+    },
+    "website": "http://colibri.frama-c.com/",
+    "system_description": "https://drive.google.com/uc?export=download&id=14ZT6msIH9JcleUv6P4ha3Rdpc7mhpGL9",
+    "command": ["bin/colibri2"],
+    "solver_type": "Standalone",
+    "seed": "42",
+    "final":true,
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": "QF_.*FP.*"
+        }
+    ]
+}