diff --git a/submissions/z3-noodler.json b/submissions/z3-noodler.json index 21a59b6a..c94a85cf 100644 --- a/submissions/z3-noodler.json +++ b/submissions/z3-noodler.json @@ -5,17 +5,17 @@ "Juraj Síč", "David Chocholatý", "Lukáš Holík", - "Ondřej Lengál", + "Ondřej Lengál" ], "contacts": ["Lukáš Holík "], "archive": { - "url": "https://github.com/VeriFIT/z3-noodler/blob/devel/docker/z3-noodler.Dockerfile", + "url": "https://github.com/VeriFIT/z3-noodler/blob/devel/docker/z3-noodler.Dockerfile" }, "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 smt.string_solver=noodler"], "solver_type": "derived", "participations": [ - { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] }, + { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] } ] }