Update download_data.py

fontanf · Oct 29, 2024 · 9f82310 · 9f82310
1 parent 802daa7
commit 9f82310
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/download_data.py b/scripts/download_data.py
@@ -14,7 +14,7 @@
 args = parser.parse_args()
 
 if args.data is None:
-    gdown.download(id="1STls7xEsIr3osMFbr1xJGQwztPA9ZAX5", output="data.7z")
+    gdown.download(id="12DHHyCLSM1iYSsWoU_mmytUwDADvMcve", output="data.7z")
     os.system("7z x data.7z")
     pathlib.Path("data.7z").unlink()
     shutil.copytree("set_covering", "data", dirs_exist_ok=True)