C++ Reference: sat_proto_solver

This documentation is automatically generated.



Solve the input MIP model with the SAT solver.

If possible, std::move the request into this function call to avoid a copy.

If you need to change the solver parameters, please use the EncodeSatParametersAsString() function below to set the request's solver_specific_parameters field.
Function Type Arguments Comments
EncodeSatParametersAsString

Return type: std::string

Arguments: const sat::SatParameters& parameters

SatSolveProto

Return type: absl::StatusOr<MPSolutionResponse>

Arguments: MPModelRequest request, std::atomic<bool>* interrupt_solve = nullptr