Bump ortools from 9.1.9490 to 9.4.1874 in /src

[dependabot]

Bumps ortools from 9.1.9490 to 9.4.1874.

Release notes

Sourced from ortools's releases.

v9.4 (2022/08)

Platforms

• Add Debain-10 support (#3209)
• Add Ubuntu 22.04 LTS support (#3276)
  • note: won't have .Net 3.1 support (see: dotnet/core#7038)
• Remove Ubuntu 21.10 LTS support

Misc

• Split archive by languages and add CMake config to the C++ one (#3200)

CP-SAT

Some improvement on:

• scheduling (propagation, cuts, lower bounds)
• MaxSAT (presolve, core based heuristics)
• MIP performance (presolve, cuts)

v9.3 (2022/03)

Platform changes

• Drop Debian-10 support
• Drop Ubuntu-16.04 support
• Drop .NET Framework 4.5.2

Dependencies Update

• Add Eigen 3.4.0.
• Add Google re2 2021-11-01.
• Protobuf 3.19.1 -> 3.19.4.
• SCIP 7.0.1 -> v800

Python

• Add pybind11.

Features

• Add PDLP as experimental
• Add MathOpt as experimental.

CP-SAT

• renamed few API for consistency e.g. LinearExpr.ScalProd -> LinearExpr.WeightedSum.
• Add AddAtLeastOne/AddAtMostOne/AddExactlyOne methods.
• Add AddMultiplicationConstraint(z, x, y) in all languages.
• AddMultipleCircuit() in all languages

C++

• explicit ctor IntVar(BoolVar)
• remove LinearExpr::Add*and replaced them by operator e.g. LinearExpr +=
• Add arithmetic operators on linear expression
• removed LinearExpr::BooleanSum/BooleanScalProd, use Sum/WeightedSum
• Add CpModelBuilder::FixVariable() which overwrite the domain of the variable to a single value

Java

• Rewrite LinearExpr, add a incremental builder class: LinearExpr.newBuilder().add(x).addSum(<array of variables).build()

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[dependabot]

Superseded by #22.