This commit is contained in:
Corentin Le Molgat
2023-06-21 17:30:30 +02:00
parent 67b0d25bf5
commit 4efde8b29c
2 changed files with 4 additions and 1 deletions

View File

@@ -1,3 +1,4 @@
# ----CONFIG OPTIONS----
build --flag_alias=with_bop=//ortools/linear_solver:with_bop
build --flag_alias=with_cbc=//ortools/linear_solver:with_cbc
build --flag_alias=with_clp=//ortools/linear_solver:with_clp
@@ -9,3 +10,6 @@ build --flag_alias=with_scip=//ortools/linear_solver:with_scip
build --flag_alias=with_cplex=//ortools/linear_solver:with_cplex
build --flag_alias=with_xpress=//ortools/linear_solver:with_xpress
# Put user-specific options in .bazelrc.user
try-import %workspace%/.bazelrc.user

View File

@@ -463,7 +463,6 @@ cc_binary(
],
)
cc_binary(
name = "shift_minimization_sat",
srcs = [