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: Arguments: | ||
SatSolveProto | Return type: Arguments: |