Skip to content

Commit 495dc39

Browse files
committed
Merge branch 'v100-bugfix' into v10-minor
2 parents cded74c + d267eec commit 495dc39

File tree

8 files changed

+8
-0
lines changed

8 files changed

+8
-0
lines changed

CHANGELOG

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,6 +34,14 @@ Testing
3434
Miscellaneous
3535
-------------
3636

37+
38+
@section RN1001 SCIP 10.0.1
39+
***************************
40+
41+
Fixed bugs
42+
----------
43+
44+
3745
@section RN1000 SCIP 10.0.0
3846
***************************
3947

check/configuration_solufile.sh

100644100755
File mode changed.

check/configuration_tmpfile_setup_gurobi_cl.sh

100644100755
File mode changed.

check/instances/Issue/3940.cip

100755100644
File mode changed.

scripts/checkcuts.py

100644100755
File mode changed.

scripts/trainEstimation/train.R

100755100644
File mode changed.

src/scip/heur_dks.c

100755100644
File mode changed.

src/scip/heur_dks.h

100755100644
File mode changed.

0 commit comments

Comments
 (0)