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

[CP-SAT] reduce memory used in the integer encoding; fix worker info not being displayed in the log

Browse Source
This commit is contained in:
Laurent Perron
2023-02-14 17:35:45 -08:00
parent f29b649be7
commit 34161f7cff
18 changed files with 510 additions and 369 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
ortools/linear_solver/solve.cc
View File

@@ -68,7 +68,6 @@
#include "ortools/base/integral_types.h"
#include "ortools/base/logging.h"
#include "ortools/base/options.h"
#include "ortools/base/timer.h"
#include "ortools/linear_solver/linear_solver.h"
#include "ortools/linear_solver/linear_solver.pb.h"
#include "ortools/lp_data/lp_parser.h"