@vsdp

VSDP: Verified SemiDefinite Programming

Software for the computation of verified results in conic programming.

Pinned repositories

  1. vsdp.github.io

    Major repository of the VSDP project.

    Ruby

  2. vsdp-2018

    VSDP: Verified SemiDefinite Programming (Version 2018)

    Matlab

  3. vsdp-2012

    VSDP: Verified SemiDefinite Programming (Version 2012)

    Matlab

  4. vsdp-2006

    VSDP: Verified SemiDefinite Programming (Version 2006 by Christian Jansson)

    Matlab

  • VSDP: Verified SemiDefinite Programming (Version 2018)

    Matlab GPL-3.0 Updated Sep 20, 2018
  • Major repository of the VSDP project.

    Ruby GPL-3.0 Updated Sep 19, 2018
  • Fork of SDPA (SemiDefinite Programming Algorithm) http://sdpa.sourceforge.net/

    C++ GPL-2.0 Updated Aug 20, 2018
  • Fork of the Octave/MATLAB interface to lp_solve http://lpsolve.sourceforge.net.

    C LGPL-2.1 Updated Aug 20, 2018
  • VSDP: Verified SemiDefinite Programming (Version 2006 by Christian Jansson)

    Matlab Updated Jun 21, 2018
  • VSDP: Verified SemiDefinite Programming (Version 2012)

    Matlab Updated Jun 21, 2018
  • Collection of sparse linear SDP problems arising in structural optimization.

    GPL-3.0 Updated Apr 19, 2018
  • The DIMACS library of mixed semidefinite-quadratic-linear programs.

    Matlab GPL-3.0 Updated Apr 18, 2018
  • The RDM method problems in SDPA sparse format.

    GPL-3.0 Updated Apr 17, 2018
  • SDP Benchmark Problems from Electronic Structure Calculations.

    GPL-3.0 Updated Apr 17, 2018
  • SDPLIB is a collection of semidefinite programming test problems.

    GPL-3.0 Updated Apr 13, 2018