Пример #1
0
def SatHelper_SolverResponseStats(response: 'operations_research::sat::CpSolverResponse const &') -> "std::string":
    return _pywrapsat.SatHelper_SolverResponseStats(response)
Пример #2
0
def SatHelper_SolverResponseStats(response):
    return _pywrapsat.SatHelper_SolverResponseStats(response)