Esempio n. 1
0
 def UserTime(self) -> "double":
     return _pywrapsat.SolutionCallback_UserTime(self)
Esempio n. 2
0
 def UserTime(self):
     return _pywrapsat.SolutionCallback_UserTime(self)