This reverts commit 7559006efc. It is needed for the current or-tools release, 9.14: 93dafb79a0/MODULE.bazel (L16)
7559006efc
93dafb79a0/MODULE.bazel (L16)