diff --git a/submissions/z3-noodler.json b/submissions/z3-noodler.json new file mode 100644 index 00000000..b7c93bb2 --- /dev/null +++ b/submissions/z3-noodler.json @@ -0,0 +1,22 @@ +{ + "name": "Z3-Noodler", + "contributors": [ + "Vojtěch Havlena", + "Juraj Síč", + "David Chocholatý", + "Lukáš Holík", + "Ondřej Lengál" + ], + "contacts": ["Lukáš Holík "], + "archive": { + "url": "https://drive.google.com/uc?export=download&id=1XSj2PiVJLDx-JQyJRt76OEloC0dWFJqH" + }, + "website": "https://github.com/VeriFIT/z3-noodler", + "system_description": "https://github.com/VeriFIT/z3-noodler/blob/devel/doc/noodler/z3-noodler-system-description-2024.pdf", + "command": ["z3-noodler_linux", "smt.string_solver=noodler"], + "solver_type": "derived", + "participations": [ + { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] } + ], + "seed": 1465867 +}