Correct return type of picosat docstrings