Polis dataset

Simon-Rey · Simon-Rey · commit dfb9527e8690 · 2025-10-06T17:36:18.000+02:00
diff --git a/datasets/00069 - polis/info.txt b/datasets/00069 - polis/info.txt
@@ -1,4 +1,4 @@
-Name: "Pol.is
+Name: Pol.is
 
 Abbreviation: polis
 
diff --git a/scripts/convert/polis.py b/scripts/convert/polis.py
@@ -330,7 +330,7 @@ def polis_poll_to_preflib_cat(poll_dir_path: str, preflib_file_name: str):
         instances.append(instance)
 
     with open(os.path.join(dataset_dir_path, "info.txt"), "w", encoding="utf-8") as info_file:
-        info_file.write(f"""Name: "Pol.is
+        info_file.write(f"""Name: Pol.is
 
 Abbreviation: polis
 
