Results 1 to 15 of 15
Sort by:

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