Solver: Fix minor issue and add long name translate.

src/Solver/ASolver.py

@@ -49,11 +49,11 @@ class AbstractSolver(object):
 
     @property
     def name(self):
-        return self.name
+        return self._name
 
     @property
     def description(self):
-        return self.description
+        return self._description
 
     @property
     def status(self):