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