diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json new file mode 100644 index 00000000..8f87ee7f --- /dev/null +++ b/submissions/COLIBRI.json @@ -0,0 +1,21 @@ +{ + "name": "COLIBRI", + "contributors": [ + "Bruno Marre", "François Bobot", "Christophe Junke" + ], + "contacts": ["Christophe Junke "], + "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.*" + } + ] +}