public function testApiDestructor_DoesNotThrowException() { $solver = $this->createSolver(); unset($solver); }