def UserTime(self) -> "double": return _pywrapsat.SolutionCallback_UserTime(self)
def UserTime(self): return _pywrapsat.SolutionCallback_UserTime(self)