Solvers: Add some type of solver in solver list.

src/Solver/Solvers.py

@@ -1,3 +1,10 @@
 # -*- coding: utf-8 -*-
 
-solver_type_list = ["generic"]
+from Solver.GenericSolver import GenericSolver
+from Solver.Mage import Mage7, Mage8
+
+solver_type_list = {
+    "generic": GenericSolver,
+    "mage7": Mage7,
+    "mage8": Mage8,
+}