• Mathematica

  • Referenced in 6343 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • SCIP

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

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

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

  • Referenced in 211 articles [sw04766]
  • An algorithmic framework for convex mixed integer nonlinear...
  • GAMS

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

  • Referenced in 85 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • Gecode

  • Referenced in 82 articles [sw06272]
  • Gecode is a toolkit for developing constraint-based...
  • EPANET

  • Referenced in 47 articles [sw07618]
  • The EPANET Programmer’s Toolkit is a collection...
  • GCG

  • Referenced in 23 articles [sw10533]
  • GCG is a generic branch-cut-and-price...
  • MUSCLE

  • Referenced in 74 articles [sw13193]
  • Muscle: multiple sequence alignment with high accuracy and...
  • Pronto

  • Referenced in 3 articles [sw14757]
  • Pronto: A Practical Probabilistic Description Logic Reasoner. This...
  • CHUFFED

  • Referenced in 15 articles [sw24724]
  • Chuffed, a lazy clause generation solver: lazy clause...
  • QUICKXPLAIN

  • Referenced in 32 articles [sw28625]
  • QUICKXPLAIN: preferred explanations and relaxations for over-constrained...