Google OR-Tools
v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
sat_solver_utils.h
Go to the documentation of this file.
1
// Copyright 2010-2025 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_PROTO_SOLVER_SAT_SOLVER_UTILS_H_
15
#define OR_TOOLS_LINEAR_SOLVER_PROTO_SOLVER_SAT_SOLVER_UTILS_H_
16
17
#include <memory>
18
#include <vector>
19
20
#include "
ortools/glop/preprocessor.h
"
21
#include "
ortools/linear_solver/linear_solver.pb.h
"
22
#include "
ortools/util/logging.h
"
23
24
namespace
operations_research
{
25
26
// Applies presolve steps to improve the MIP -> IP imperfect conversion. The
27
// stricter the domain of the variables, the more room we have for scaling the
28
// constraint to integers and prevent overflow. Similarly if we can remove
29
// singleton continuous variables, it is just good to do so.
30
//
31
// Returns the presolve status which can currently be:
32
// - INIT for most cases were nothing was proven during this step.
33
// - PRIMAL_INFEASIBLE if the model was proven infeasible.
34
// - INFEASIBLE_OR_UNBOUNDED if the presolve couldn't distinguish between these
35
// two statuses.
36
// - ABNORMAL if an error occurred.
37
glop::ProblemStatus
ApplyMipPresolveSteps
(
38
const
glop::GlopParameters
& glop_params,
MPModelProto
* model,
39
std::vector<std::unique_ptr<glop::Preprocessor>>* for_postsolve,
40
SolverLogger
* logger);
41
42
}
// namespace operations_research
43
#endif
// OR_TOOLS_LINEAR_SOLVER_PROTO_SOLVER_SAT_SOLVER_UTILS_H_
operations_research::MPModelProto
Definition
linear_solver.pb.h:5047
operations_research::SolverLogger
Definition
logging.h:39
operations_research::glop::GlopParameters
Definition
parameters.pb.h:272
linear_solver.pb.h
operations_research::glop::ProblemStatus
ProblemStatus
Different statuses for a given problem.
Definition
lp_types.h:105
operations_research
In SWIG mode, we don't want anything besides these top-level includes.
Definition
binary_indexed_tree.h:21
operations_research::ApplyMipPresolveSteps
glop::ProblemStatus ApplyMipPresolveSteps(const glop::GlopParameters &glop_params, MPModelProto *model, std::vector< std::unique_ptr< glop::Preprocessor > > *for_postsolve, SolverLogger *logger)
Definition
sat_solver_utils.cc:36
preprocessor.h
logging.h
ortools
linear_solver
proto_solver
sat_solver_utils.h
Generated by
1.14.0