コード例 #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)