def WallTime(self) -> "double": return _pywrapsat.SolutionCallback_WallTime(self)
def WallTime(self): return _pywrapsat.SolutionCallback_WallTime(self)