Skip to content

Commit fe5b442

Browse files
authored
Update z3-siri.json
1 parent c27521a commit fe5b442

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

submissions/z3-siri.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
],
77
"contacts": ["HanNan Wang <[email protected]>"],
88
"archive": {
9-
"url": "https://drive.google.com/uc?export=download&id=1Jo3eILmruDnTxWiO9NDW2c15QcblCDSy"
9+
"url": "https://drive.google.com/uc?export=download&id=1JJzJu8ttoiaNmSYn0Eb-Y7wbYs6k-a_P"
1010
},
1111
"website": "https://github.com/SoftWiser-group/SiriSMT",
1212
"system_description": "https://drive.google.com/uc?export=download&id=1Hxt10bbkSHYVLfqG-eeQ4w7NkBMjEMM2",

0 commit comments

Comments
 (0)