• SDPLIB

  • Referenced in 67 articles [sw00838]
  • SDPLIB 1. 2, a library of semidefinite programming...
  • SCIP

  • Referenced in 542 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • PERL

  • Referenced in 270 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • LOQO

  • Referenced in 211 articles [sw02212]
  • LOQO: An interior point code for quadratic programming...
  • SDPHA

  • Referenced in 40 articles [sw02214]
  • SDPHA: A MATLAB implementation of homogeneous interior-point...
  • SNOPT

  • Referenced in 551 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • AMPL

  • Referenced in 617 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 703 articles [sw04009]
  • This software is designed to solve conic programming...
  • CUTEr

  • Referenced in 602 articles [sw04010]
  • CUTEr is a versatile testing environment for optimization...
  • MIPLIB

  • Referenced in 328 articles [sw04067]
  • A mixed integer (linear) program (mip) is an...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • SifDec

  • Referenced in 216 articles [sw04087]
  • CUTEr and SifDec: a constrained and unconstrained testing...
  • Gurobi

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • PHAVer

  • Referenced in 117 articles [sw04123]
  • In 1995, HyTech broke new ground as a...
  • HyTech

  • Referenced in 331 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • LINPACK

  • Referenced in 520 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • LINDO

  • Referenced in 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • CVX

  • Referenced in 845 articles [sw04594]
  • CVX is a modeling system for constructing and...