Skip to content

v7.1 (2019-05)

Compare
Choose a tag to compare
@Mizux Mizux released this 09 May 14:27
· 3957 commits to master since this release

Updates to required dependencies

  • Glog 0.3.5 -> 0.4.0
  • Protobuf 3.6.1 -> 3.7.1
  • Cbc 2.9.9 -> 2.10.1
  • Cgl 0.59.10 -> 0.60.1
  • Clp 1.16.11 -> 1.77.1
  • Osi 0.107.9 -> 0.108.1
  • Coinutils 2.10.14 -> 2.11.1

CP-SAT

  • Breaking change in the CP-SAT API in Python, Java and .Net.
    see doc here
  • Searching for all solution in a satisfiability problem now returns OPTIMAL when search is finished.
  • The C++ CpModel Solve() method and its variations now take a CpModelProto as input. It is created using the CpModel.Build() method. So the right call is CpSolverResponse r = Solve(cp_model.Build());

Linear solver

  • Known bug: the ExportModelAsLpFormat and ExportModelAsMpsFormat methods have been accidentally removed in the Python linear solver module.

Added Support

  • Fix SWIG 4.0 compatibility.