debug adists windows

src/Solver/AdisTS.py

@@ -128,9 +128,9 @@ class AdisTS(CommandLineSolver):
                     repertory, f"{name}.REP"
                 ), "w+"
         ) as f:
-
-            f.write(f"NET ../{mage_rep}/{name}.NET\n")
-            f.write(f"REP ../{mage_rep}/{name}.REP\n")
+            path = os.path.join("..",mage_rep,name)
+            f.write(f"NET {path}.NET\n")
+            f.write(f"REP {path}.REP\n")
 
             for file in files:
                 EXT = file.split('.')[1]
@@ -140,7 +140,7 @@ class AdisTS(CommandLineSolver):
 
         path_mage_net = os.path.join(os.path.abspath(
                 os.path.join(repertory, os.pardir)
-        ), f"{mage_rep}/net")
+        ), os.path.join(mage_rep,"net"))
         path_adists_net = os.path.join(repertory, "net")
 
         if os.path.exists(path_mage_net):
@@ -729,7 +729,7 @@ class AdisTSwc(AdisTS):
         data_tmp = {}
 
         for file_bin in path_files:
-            key_pol = file_bin.split("/")[-1][0:-4]
+            key_pol = os.path.basename(file_bin)[0:-4]
             data_tmp[key_pol] = {}
             with open(file_bin, 'rb') as f:
                 # header