示例#1
0
 def UserTime(self) -> "double":
     return _pywrapsat.SolutionCallback_UserTime(self)
示例#2
0
 def UserTime(self):
     return _pywrapsat.SolutionCallback_UserTime(self)