• CPLEX

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

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

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

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • dReal

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

  • Referenced in 75 articles [sw10939]
  • SpaceEx: Scalable Verification of Hybrid Systems. We present...