From 2581e9418ca53b9fb15b9950239c9855a338b4cd Mon Sep 17 00:00:00 2001 From: David Ewert <33990711+dewert99@users.noreply.github.com> Date: Mon, 18 May 2026 14:10:40 -0700 Subject: [PATCH 1/3] plat-smt submission --- submissions/plat-smt.json | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 submissions/plat-smt.json diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json new file mode 100644 index 000000000..629f1ebd6 --- /dev/null +++ b/submissions/plat-smt.json @@ -0,0 +1,35 @@ +{ + "name": "plat-smt", + "contributors": [ + "David Ewert", + ], + "contacts": ["David Ewert "], + "archive": { + "url": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/plat-smt.zip", + "h": { "sha256": "1dc13645aa4932722ff4b7e052144ceea0dfeb93872ba853be23e88390d85770" } + }, + "website": "http://example.com/", + "system_description": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/smtcomp2026.pdf", + "command": ["./plat-smt"], + "solver_type": "wrapped", + "seed": "6536", + "participations": [ + { + "tracks": ["SingleQuery"], + "logics": ["QF_UF"] + }, + { + "tracks": ["Incremental"], + "logics": ["QF_UF"], + "command": ["./plat-smt", "-i"] + }, + { + "tracks": ["UnsatCore"], + "logics": ["QF_UF"] + }, + { + "tracks": ["ModelValidation"], + "logics": ["QF_UF"] + } + ] +} From b2ceccd337f5f3cd6ea377d4c7395b9fbbf750ba Mon Sep 17 00:00:00 2001 From: David Ewert <33990711+dewert99@users.noreply.github.com> Date: Mon, 18 May 2026 14:14:34 -0700 Subject: [PATCH 2/3] Fix json --- submissions/plat-smt.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json index 629f1ebd6..9eecd17ec 100644 --- a/submissions/plat-smt.json +++ b/submissions/plat-smt.json @@ -1,7 +1,7 @@ { "name": "plat-smt", "contributors": [ - "David Ewert", + "David Ewert" ], "contacts": ["David Ewert "], "archive": { From 959eaea5ff7b71e0c2f70bdf8d18824a58382385 Mon Sep 17 00:00:00 2001 From: David Ewert <33990711+dewert99@users.noreply.github.com> Date: Mon, 18 May 2026 14:20:14 -0700 Subject: [PATCH 3/3] Add website --- submissions/plat-smt.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json index 9eecd17ec..b5cabea34 100644 --- a/submissions/plat-smt.json +++ b/submissions/plat-smt.json @@ -8,7 +8,7 @@ "url": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/plat-smt.zip", "h": { "sha256": "1dc13645aa4932722ff4b7e052144ceea0dfeb93872ba853be23e88390d85770" } }, - "website": "http://example.com/", + "website": "https://github.com/dewert99/plat-smt", "system_description": "https://github.com/dewert99/plat-smt/releases/download/SMT-COMP2026/smtcomp2026.pdf", "command": ["./plat-smt"], "solver_type": "wrapped",