예제 #1
0
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)
예제 #2
0
def SatHelper_SolveWithParametersAndSolutionCallback(model_proto, parameters,
                                                     callback):
    return _pywrapsat.SatHelper_SolveWithParametersAndSolutionCallback(
        model_proto, parameters, callback)