def solver(self):
try:
solver = self._solver
except AttributeError:
solver = self._solver = Solver(API.getSolver(self._dec))
return solver
def solver(self):
try:
solver = self._solver
except AttributeError:
solver = self._solver = Solver(API.getSolver(self._dec))
return solver
