You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.