scipopt
diff --git a/‎check/configuration_solufile.sh‎
100644100755 b/‎check/configuration_solufile.sh‎
100644100755
diff --git a/‎check/configuration_tmpfile_setup_gurobi_cl.sh‎
100644100755 b/‎check/configuration_tmpfile_setup_gurobi_cl.sh‎
100644100755
diff --git a/‎check/instances/Issue/3940.cip‎
100755100644 b/‎check/instances/Issue/3940.cip‎
100755100644
diff --git a/‎scripts/checkcuts.py‎
100644100755 b/‎scripts/checkcuts.py‎
100644100755
diff --git a/‎scripts/trainEstimation/train.R‎
100755100644 b/‎scripts/trainEstimation/train.R‎
100755100644
diff --git a/‎src/scip/heur_dks.c‎
100755100644 b/‎src/scip/heur_dks.c‎
100755100644
diff --git a/‎src/scip/heur_dks.h‎
100755100644 b/‎src/scip/heur_dks.h‎
100755100644