Migrate the SDC scheduler from MPSolver to MathOpt

MathOpt is actively being maintained, and the new interface has several improved usability features. In particular, it should make it easier for us to dynamically reformulate with slack, which may let us probe the reasons for infeasibility and produce better error messages, possibly with suggested fixes. PiperOrigin-RevId: 551604584
google · Jul 27, 2023 · 471cf94 · 471cf94
1 parent 70f4b2e
commit 471cf94
Show file tree

Hide file tree

Showing 3 changed files with 157 additions and 160 deletions.
diff --git a/xls/scheduling/BUILD b/xls/scheduling/BUILD
@@ -112,6 +112,7 @@ cc_library(
         ":scheduling_options",
         "@com_google_absl//absl/container:btree",
         "@com_google_absl//absl/container:flat_hash_map",
+        "@com_google_absl//absl/container:flat_hash_set",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:statusor",
         "@com_google_absl//absl/strings",
@@ -122,7 +123,8 @@ cc_library(
         "//xls/delay_model:delay_estimator",
         "//xls/ir",
         "//xls/ir:node_util",
-        "@com_google_ortools//ortools/linear_solver",
+        "@com_google_ortools//ortools/math_opt/cpp:math_opt",
+        "@com_google_ortools//ortools/math_opt/solvers:glop_solver",
     ],
 )