Skip to content

Commit 913b899

Browse files
committed
update SCIP path and version
1 parent bf9caa0 commit 913b899

1 file changed

Lines changed: 5 additions & 5 deletions

File tree

INSTALL

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@ Installing SCIP-SDP
44
Additional Software
55
-------------------
66

7-
For using SCIP-SDP you need an installed and fully working version of SCIP (http://scipopt.de/)
8-
version 8 or higher. Additionally, you should install at least one of the following SDP-Solvers:
7+
For using SCIP-SDP you need an installed and fully working version of SCIP (http://scipopt.org/)
8+
version 10 or higher. Additionally, you should install at least one of the following SDP-Solvers:
99

1010
DSDP 5.8 (http://www.mcs.anl.gov/hs/software/DSDP/).
1111
MOSEK at least version 8.1 (https://www.mosek.com/)
@@ -25,10 +25,10 @@ lib-subdirectory after unpacking the files, this can for example be done via
2525

2626
mkdir lib
2727
cd lib
28-
ln -s /home/username/scipoptsuite-9.0.0/scip/ scip
28+
ln -s /home/username/scipoptsuite-10.0.0/scip/ scip
2929
cd ..
3030

31-
where /home/username/scipoptsuite-9.0.0/scip is the path to your SCIP directory. Afterwards you can
31+
where /home/username/scipoptsuite-10.0.0/scip is the path to your SCIP directory. Afterwards you can
3232
use "make" to compile the plugin. For SCIP-SDP the makefile option SDPS is mandatory. It defines the
3333
SDP-solver that should be used. You can choose between "dsdp", "msk", "sdpa", and "none". (In the
3434
latter case, you can only use LP-relaxations with additional cutting planes enforcing the positive
@@ -257,5 +257,5 @@ So, for example to build SCIP-SDP via cmake using Mosek the call could be
257257

258258
mkdir build
259259
cd build
260-
cmake .. -DSCIP_DIR=/home/username/scipoptsuite-9.0.0/scip/build/ -DSDPS=msk -DMOSEK_DIR=/home/username/mosek/10/tools/platform/linux64x86/
260+
cmake .. -DSCIP_DIR=/home/username/scipoptsuite-10.0.0/scip/build/ -DSDPS=msk -DMOSEK_DIR=/home/username/mosek/10/tools/platform/linux64x86/
261261
make

0 commit comments

Comments
 (0)