Sdpa

Jul 20, 2023

Very efficient SDP (semidefinite programming) solver

The SDPA SemiDefinite Programming Algorithm is a software package for solving semidefinite program SDP. It is based on a Mehrotra-type predictor-corrector infeasible primal-dual interior-point method. The SDPA handles the standard form SDP and its dual. It is implemented in C++ language utilizing the LAPACK for matrix computation. The SDPA incorporates dynamic memory allocation and deallocation. So, the maximum size of an SDP to be solved depends on the size of memory which users’ computers install. The SDPA enjoys the following features

  1. Callable library of the SDPA is available.
  2. Efficient method for computing the search directions when an SDP to be solved is large scale and sparse.
  3. Block diagonal matrix structure and sparse matrix structure in data matrices are available.
  4. Some information on infeasibility of a semidefinite program to be solved is provided.


Checkout these related ports:
  • Zn_poly - C library for polynomial arithmetic
  • Zimpl - Language to translate the LP models into .lp or .mps
  • Zegrapher - Software for plotting mathematical objects
  • Zarray - Dynamically typed N-D expression system based on xtensor
  • Z3 - Z3 Theorem Prover
  • Yices - SMT solver
  • Yacas - Yet Another Computer Algebra System
  • Xtensor - Multi-dimensional arrays with broadcasting and lazy computing
  • Xtensor-python - Python bindings for xtensor
  • Xtensor-io - Xtensor plugin to read/write images, audio files, numpy npz and HDF5
  • Xtensor-blas - BLAS extension to xtensor
  • Xspread - Spreadsheet program for X and terminals
  • Xppaut - Graphical tool for solving differential equations, etc
  • Xplot - X11 plotting package
  • Xlife++ - XLiFE++ eXtended Library of Finite Elements in C++