C++ Reference: sat_proto_solver

This documentation is automatically generated.



If possible, std::move the request into this function call to avoid a copy.
Function Type Arguments Comments
SatSolveProto

Return type: util::StatusOr<MPSolutionResponse>

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