adding adists solver 1

src/Solver/Solvers.py

@@ -23,6 +23,7 @@ from Solver.Mage import (
     Mage7, Mage8, MageFake7,
 )
 from Solver.RubarBE import RubarBE
+from Solver.AdisTS import AdisTSlc
 
 _translate = QCoreApplication.translate
 
@@ -32,6 +33,7 @@ solver_long_name = {
     "mage8": "Mage v8",
     # "mage_fake7": "Mage fake v7",
     "rubarbe": "RubarBE",
+    "adistslc": "Adis-TS_LC",
 }
 
 solver_type_list = {
@@ -40,4 +42,5 @@ solver_type_list = {
     "mage8": Mage8,
     # "mage_fake7": MageFake7,
     "rubarbe": RubarBE,
+    "adistslc": AdisTSlc,
 }