• MiniSat

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

  • Referenced in 198 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • Octave

  • Referenced in 277 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • PSwarm

  • Referenced in 61 articles [sw00742]
  • PSwarm: a hybrid solver for linearly constrained global...
  • R

  • Referenced in 7904 articles [sw00771]
  • R is a language and environment for statistical...
  • ScaLAPACK

  • Referenced in 400 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • SNDlib

  • Referenced in 67 articles [sw00884]
  • SNDlib is a library of test instances for...
  • TSPLIB

  • Referenced in 659 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SCICONIC

  • Referenced in 30 articles [sw01087]
  • Operation optimization of power plants with the software...
  • SCIP

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

  • Referenced in 250 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • GridSec

  • Referenced in 4 articles [sw01927]
  • GridSec: Trusted grid computing with security binding and...
  • SNOPT

  • Referenced in 497 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • Constraint Programming is recognized as an efficient technique...
  • NOMAD

  • Referenced in 84 articles [sw02916]
  • Algorithm 909: NOMAD: Nonlinear Optimization with the MADS...
  • LS-DYNA

  • Referenced in 309 articles [sw03068]
  • LS-DYNA A combined Implicit/Explicit solver. One scalable...
  • Haskell

  • Referenced in 840 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • AMPL

  • Referenced in 579 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • SeDuMi

  • Referenced in 1165 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...