plenty of minor format issues; fix one numerical issue with glop; improve cut management in CP-SAT; automatic tightening of big-M in CP-SAT

2019-04-08 19:00:46 +02:00
parent 7e8c1475c2
commit c9b7d58e5a
55 changed files with 223 additions and 201 deletions
--- a/ortools/glop/lu_factorization.cc
+++ b/ortools/glop/lu_factorization.cc
@@ -12,6 +12,7 @@
 // limitations under the License.

 #include "ortools/glop/lu_factorization.h"
+
 #include "ortools/lp_data/lp_utils.h"

 namespace operations_research {