Exemplo n.º 1
0
def SatHelper_SolverResponseStats(response: 'operations_research::sat::CpSolverResponse const &') -> "std::string":
    return _pywrapsat.SatHelper_SolverResponseStats(response)
Exemplo n.º 2
0
def SatHelper_SolverResponseStats(response):
    return _pywrapsat.SatHelper_SolverResponseStats(response)