• 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...