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

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`

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

Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.

Last updated 2021-07-30 UTC.