Merge remote-tracking branch 'origin/main' into v99bugfix

2025-08-26 10:56:27 +02:00
parent 02f81d5e19 127d33181a
commit 805ef64029
232 changed files with 10588 additions and 2012 deletions
--- a/examples/cpp/BUILD.bazel
+++ b/examples/cpp/BUILD.bazel
@@ -15,13 +15,6 @@ load("@rules_cc//cc:cc_binary.bzl", "cc_binary")
 load("@rules_cc//cc:cc_library.bzl", "cc_library")
 load("@rules_cc//cc:cc_test.bzl", "cc_test")

-exports_files(
-    [
-        "shift_minimization.dat",
-        "wt40.txt",
-    ],
-)
-
 # Constraint solver examples.
 cc_binary(
    name = "binpacking_2d_sat",