14#ifndef OR_TOOLS_LINEAR_SOLVER_SAT_SOLVER_UTILS_H_
15#define OR_TOOLS_LINEAR_SOLVER_SAT_SOLVER_UTILS_H_
20#include "ortools/linear_solver/linear_solver.pb.h"
32 bool log_info,
const glop::GlopParameters& glop_params, MPModelProto*
model,
33 std::vector<std::unique_ptr<glop::Preprocessor>>* for_postsolve);
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...
MPSolverResponseStatus ApplyMipPresolveSteps(bool log_info, const glop::GlopParameters &glop_params, MPModelProto *model, std::vector< std::unique_ptr< glop::Preprocessor > > *for_postsolve)