Example #1
0
 def WallTime(self) -> "double":
     return _pywrapsat.SolutionCallback_WallTime(self)
Example #2
0
 def WallTime(self):
     return _pywrapsat.SolutionCallback_WallTime(self)