always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update linear solver build (#4945)

Browse Source
This commit is contained in:
Guillaume Chatelet
2025-12-12 09:33:50 +01:00
committed by Corentin Le Molgat
parent 6d76575f3d
commit 69dc22f35d
30 changed files with 595 additions and 489 deletions
Download Patch File Download Diff File Expand all files Collapse all files

68
examples/cpp/integer_programming.cc
View File

@@ -14,6 +14,7 @@
// Integer programming example that shows how to use the API.
#include <cstdlib>
#include <memory>
#include <string>
#include <vector>
@@ -26,47 +27,40 @@
#include "ortools/linear_solver/linear_solver.h"
namespace operations_research {
void RunIntegerProgrammingExample(absl::string_view solver_id) {
void RunIntegerProgrammingExample(const std::string& solver_id) {
LOG(INFO) << "---- Integer programming example with " << solver_id << " ----";
MPSolver::OptimizationProblemType problem_type;
if (!MPSolver::ParseSolverType(solver_id, &problem_type)) {
LOG(INFO) << "Solver id " << solver_id << " not recognized";
std::unique_ptr<MPSolver> solver(MPSolver::CreateSolver(solver_id));
if (!solver) {
LOG(INFO) << "Unable to create solver : " << solver_id;
return;
}
if (!MPSolver::SupportsProblemType(problem_type)) {
LOG(INFO) << "Supports for solver " << solver_id << " not linked in.";
return;
}
MPSolver solver("IntegerProgrammingExample", problem_type);
const double infinity = solver.infinity();
const double infinity = solver->infinity();
// x and y are integer non-negative variables.
MPVariable* const x = solver.MakeIntVar(0.0, infinity, "x");
MPVariable* const y = solver.MakeIntVar(0.0, infinity, "y");
MPVariable* const x = solver->MakeIntVar(0.0, infinity, "x");
MPVariable* const y = solver->MakeIntVar(0.0, infinity, "y");
// Maximize x + 10 * y.
MPObjective* const objective = solver.MutableObjective();
MPObjective* const objective = solver->MutableObjective();
objective->SetCoefficient(x, 1);
objective->SetCoefficient(y, 10);
objective->SetMaximization();
// x + 7 * y <= 17.5.
MPConstraint* const c0 = solver.MakeRowConstraint(-infinity, 17.5);
MPConstraint* const c0 = solver->MakeRowConstraint(-infinity, 17.5);
c0->SetCoefficient(x, 1);
c0->SetCoefficient(y, 7);
// x <= 3.5
MPConstraint* const c1 = solver.MakeRowConstraint(-infinity, 3.5);
MPConstraint* const c1 = solver->MakeRowConstraint(-infinity, 3.5);
c1->SetCoefficient(x, 1);
c1->SetCoefficient(y, 0);
LOG(INFO) << "Number of variables = " << solver.NumVariables();
LOG(INFO) << "Number of constraints = " << solver.NumConstraints();
LOG(INFO) << "Number of variables = " << solver->NumVariables();
LOG(INFO) << "Number of constraints = " << solver->NumConstraints();
const MPSolver::ResultStatus result_status = solver.Solve();
const MPSolver::ResultStatus result_status = solver->Solve();
// Check that the problem has an optimal solution.
if (result_status != MPSolver::OPTIMAL) {
LOG(FATAL) << "The problem does not have an optimal solution!";
@@ -77,21 +71,33 @@ void RunIntegerProgrammingExample(absl::string_view solver_id) {
LOG(INFO) << "Optimal objective value = " << objective->Value();
LOG(INFO) << "";
LOG(INFO) << "Advanced usage:";
LOG(INFO) << "Problem solved in " << solver.wall_time() << " milliseconds";
LOG(INFO) << "Problem solved in " << solver.iterations() << " iterations";
LOG(INFO) << "Problem solved in " << solver.nodes()
LOG(INFO) << "Problem solved in " << solver->wall_time() << " milliseconds";
LOG(INFO) << "Problem solved in " << solver->iterations() << " iterations";
LOG(INFO) << "Problem solved in " << solver->nodes()
<< " branch-and-bound nodes";
}
void RunAllExamples() {
RunIntegerProgrammingExample("CBC");
RunIntegerProgrammingExample("SAT");
RunIntegerProgrammingExample("SCIP");
RunIntegerProgrammingExample("GUROBI");
RunIntegerProgrammingExample("GLPK");
RunIntegerProgrammingExample("CPLEX");
RunIntegerProgrammingExample("XPRESS");
RunIntegerProgrammingExample("HIGHS");
std::vector<MPSolver::OptimizationProblemType> supported_problem_types =
MPSolverInterfaceFactoryRepository::GetInstance()
->ListAllRegisteredProblemTypes();
for (MPSolver::OptimizationProblemType type : supported_problem_types) {
const std::string type_name = MPModelRequest::SolverType_Name(
static_cast<MPModelRequest::SolverType>(type));
if (!SolverTypeIsMip(type)) continue;
if (absl::StrContains(type_name, "KNAPSACK")) continue;
if (absl::StrContains(type_name, "BOP")) continue;
if (absl::StrContains(type_name, "HIGHS")) continue;
// ASAN issues a warning in CBC code which cannot be avoided for now:
// AddressSanitizer: float-cast-overflow
// third_party/cbc/Cgl/src/CglPreProcess/CglPreProcess.cpp:1717:36
#ifdef ADDRESS_SANITIZER
if (type_name.find("CBC") != std::string::npos) {
continue;
}
#endif
RunIntegerProgrammingExample(type_name);
}
}
} // namespace operations_research