Scippy

SCIP-SDP

a mixed integer semidefinite programming plugin for SCIP

About

SCIP-SDP is a plugin for SCIP to solve mixed integer semidefinite programs (MISDPs). It combines the branch-and-bound framework of SCIP with interior-point SDP-solvers. It provides the data handling, some presolving and propagation as well as a reader for a modified sparse SDPA-format with additional lines for integrality constraints. It is possible to solve the resulting SDP-relaxations using a linear approximation procedure, but for full functionality one of the following SDP-solvers needs to be installed:

The solution process of interior-point methods for SDPs is highly dependent on the Slater condition. One of the main purposes of the code is ensuring that the slater condition is not harmed by fixing variables in the branch-and-bound process. In some cases however the combination of variable fixings and specific linear or semidefinite constraints might still lead to relaxations for which the Slater condition no longer holds. In this case the SDP-solvers may be unable to solve the relaxations or even return wrong results, which cannot be compensated. For this purpose there is the possibility to check the Slater condition before the solution of each SDP by setting a SCIP parameter, for details see the documentation.

News

May 2016 SCIP-SDP 2.1.0 is released for SCIP 3.2.1 and DSDP 5.8 or SDPA 7.3.8
June 2015 SCIP-SDP 2.0.0 is released for SCIP 3.2.0 and DSDP 5.8 or SDPA 7.3.8
July 2012 SCIP-SDP 1.0 is released for SCIP 3.0.0 and DSDP 5.8


License

This program is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version.

Copyright (C) 2011-2013 Discrete Optimization, TU Darmstadt
EDOM, FAU Erlangen-Nürnberg
2014-2016 Discrete Optimization, TU Darmstadt


It is based on SCIP - Solving Constraint Integer Programs. SCIP is distributed under the terms of the SCIP Academic Licence, see file COPYING in the SCIP distribution.

Copyright (C) 2002-2016 Zuse Institute Berlin


Any publication for which SCIP-SDP is used should include an acknowledgment and a reference to the following article:

An online supplement with detailed results and the corresponding instances (CBF / SDPA-format) are also available.

Bugs

If you find any bugs, it would be nice if you send a description together with a data file that shows the problem to Tristan Gally.

Developers

Main developers

Tristan Gally
Marc Pfetsch

Former main developers

Sonja Mars
Lars Schewe

Contributors

Ambros Gleixner
Jakob Schelbert

Download

The files you can download here come without any warranty. Use at your own risk! Please refer to the provided INSTALL file for help on installing the software.


You can download the source code here:

Old versions from the following list can also be downloaded:

Cooperation

SCIP-SDP is developed in subproject A4 of the Collaborative Research Centre 805 – Control of Uncertainty in Load-Carrying Structures in Mechanical Engineering funded by the German Research Foundation.

SFB 805
DFG