[CP-SAT] improve cp_model.h; improve examples with arithmetic operators

2021-12-11 12:24:04 +01:00
parent 018bf0b556
commit a7a4d84f42
9 changed files with 291 additions and 274 deletions
--- a/examples/cpp/network_routing_sat.cc
+++ b/examples/cpp/network_routing_sat.cc
@@ -616,7 +616,7 @@ class NetworkRoutingSolver {
      max_normalized_traffic =
          std::max(max_normalized_traffic, sum_of_traffic * 1000 / capacity);
      cp_model.AddDivisionEquality(normalized_traffic, scaled_traffic,
-                                   cp_model.NewConstant(capacity));
+                                   capacity);
      normalized_traffic_vars[arc_index] = normalized_traffic;
      const BoolVar comfort = cp_model.NewBoolVar();
      const int64_t safe_capacity =