14 #ifndef OR_TOOLS_LINEAR_SOLVER_SAT_PROTO_SOLVER_H_
15 #define OR_TOOLS_LINEAR_SOLVER_SAT_PROTO_SOLVER_H_
17 #include "absl/status/statusor.h"
18 #include "ortools/linear_solver/linear_solver.pb.h"
19 #include "ortools/sat/sat_parameters.pb.h"
31 MPModelRequest request, std::atomic<bool>* interrupt_solve =
nullptr);
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...
std::string EncodeSatParametersAsString(const sat::SatParameters ¶meters)
absl::StatusOr< MPSolutionResponse > SatSolveProto(MPModelRequest request, std::atomic< bool > *interrupt_solve)