• POP

  • Referenced in 4 articles [sw21877]
  • features (a) efficient implementations of multiparametric programming problem solvers for multiparametric linear and quadratic programming ... problem generator capable of creating random multiparametric programming problems of arbitrary size ... comprehensive library of multiparametric programming test problems featuring benchmark test sets for multiparametric linear, quadratic ... used to show the scalability of multiparametric programming in general and POP, in particular...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • CPLEX

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

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

  • Referenced in 68 articles [sw04347]
  • Branching and bounds tightening techniques for non-connvex...
  • Qhull

  • Referenced in 320 articles [sw04419]
  • The convex hull of a point set P...
  • Lparse

  • Referenced in 44 articles [sw04633]
  • Lparse Smodels works with variable-free programs that...
  • MPT

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

  • Referenced in 230 articles [sw04834]
  • FICO Xpress is the premier mathematical modeling and...
  • GAMS

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

  • Referenced in 74 articles [sw05107]
  • qpOASES – Online Active Set Strategy. qpOASES is an...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • HYSDEL allows modeling a class of hybrid systems...
  • ANTIGONE

  • Referenced in 101 articles [sw09241]
  • ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear...
  • OSL

  • Referenced in 107 articles [sw09295]
  • Implementing interior point linear programming methods in the...
  • dynASP

  • Referenced in 7 articles [sw09817]
  • A dynamic-programming based ASP-solver. We present...