def SatHelper_Solve(model_proto: 'operations_research::sat::CpModelProto const &') -> "operations_research::sat::CpSolverResponse": return _pywrapsat.SatHelper_Solve(model_proto)
def SatHelper_Solve(model_proto): return _pywrapsat.SatHelper_Solve(model_proto)