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

  • Referenced in 312 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • REDLOG

  • Referenced in 166 articles [sw04250]
  • REDLOG is a package that extends the computer...
  • RSOLVER

  • Referenced in 74 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • CVX

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

  • Referenced in 1033 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Benchmarks

  • Referenced in 25 articles [sw04612]
  • Safety verification of hybrid systems by constraint propagation...
  • Mosek

  • Referenced in 493 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • MPT

  • Referenced in 230 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • NewtonKKTqp

  • Referenced in 10 articles [sw04820]
  • Newton-KKT interior-point methods for indefinite quadratic...
  • GAMS

  • Referenced in 866 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • PDCO

  • Referenced in 698 articles [sw05148]
  • PDCO: Primal-Dual interior method for Convex Objectives...
  • SciPy

  • Referenced in 775 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...
  • dReal

  • Referenced in 30 articles [sw07157]
  • dReal: an SMT solver for nonlinear theories over...
  • VCC

  • Referenced in 71 articles [sw07220]
  • VCC is a mechanical verifier for concurrent C...
  • HSolver

  • Referenced in 44 articles [sw07419]
  • HSolver is a program for verification of hybrid...
  • d/dt

  • Referenced in 37 articles [sw10314]
  • d/dt is a tool for reachability analysis of...