public function createManager() { if ($this->solver !== null && $this->existsProtectedProperty($this->solver, 'manager')) { $this->setProtectedProperty($this->solver, 'manager', $this->manager); } return $this->manager; }