def SatHelper_SolveWithParametersAndSolutionCallback( model_proto: 'operations_research::sat::CpModelProto const &', parameters: 'operations_research::sat::SatParameters const &', callback: 'SolutionCallback' ) -> "operations_research::sat::CpSolverResponse": return _pywrapsat.SatHelper_SolveWithParametersAndSolutionCallback( model_proto, parameters, callback)
def SatHelper_SolveWithParametersAndSolutionCallback(model_proto, parameters, callback): return _pywrapsat.SatHelper_SolveWithParametersAndSolutionCallback( model_proto, parameters, callback)