OR-Tools  8.2
sat_solver_utils.h
Go to the documentation of this file.
1 // Copyright 2010-2018 Google LLC
2 // Licensed under the Apache License, Version 2.0 (the "License");
3 // you may not use this file except in compliance with the License.
4 // You may obtain a copy of the License at
5 //
6 // http://www.apache.org/licenses/LICENSE-2.0
7 //
8 // Unless required by applicable law or agreed to in writing, software
9 // distributed under the License is distributed on an "AS IS" BASIS,
10 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
11 // See the License for the specific language governing permissions and
12 // limitations under the License.
13 
14 #ifndef OR_TOOLS_LINEAR_SOLVER_SAT_SOLVER_UTILS_H_
15 #define OR_TOOLS_LINEAR_SOLVER_SAT_SOLVER_UTILS_H_
16 
17 #include <memory>
18 
20 #include "ortools/linear_solver/linear_solver.pb.h"
21 
22 namespace operations_research {
23 
24 // Applies presolve steps to improve the MIP -> IP imperfect conversion. The
25 // stricter the domain of the variable, the more room we have for scaling the
26 // constraint to integers and prevent overflow. Similarly if we can remove
27 // singleton continuous variables, it is just good to do so.
28 //
29 // Returns the presolve status which is currently UNKNOWN for most cases but
30 // might be INFEASIBLE if there is some trivial infeasiblity in the model.
31 MPSolverResponseStatus ApplyMipPresolveSteps(
32  bool log_info, const glop::GlopParameters& glop_params, MPModelProto* model,
33  std::vector<std::unique_ptr<glop::Preprocessor>>* for_postsolve);
34 
35 } // namespace operations_research
36 #endif // OR_TOOLS_LINEAR_SOLVER_SAT_SOLVER_UTILS_H_
GRBmodel * model
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)