• CUTEr

  • Referenced in 442 articles [sw04010]
  • developers design, compare and improve new and existing solvers. The test problems provided are written ... optimization packages. Ready-to-use interfaces to existing packages, such as MINOS, SNOPT, filterSQP, Knitro...
  • Chaff

  • Referenced in 474 articles [sw06916]
  • both research and industry. Most existing complete solvers are variants of the Davis-Putnam...
  • SemiPar

  • Referenced in 399 articles [sw07116]
  • relations into their regression analyses. Almost all existing regression texts treat either parametric or nonparametric...
  • HLLE

  • Referenced in 336 articles [sw06605]
  • simple but also more advanced exists like using the Roe average velocity for the middle...
  • INTOPT_90

  • Referenced in 274 articles [sw04705]
  • conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster...
  • PVM

  • Referenced in 267 articles [sw04273]
  • CRAYs. PVM enables users to exploit their existing computer hardware to solve much larger problems...
  • TPTP

  • Referenced in 223 articles [sw04143]
  • utility to convert the problems to existing ATP systems’ formats. General guidelines outlining the requirements...
  • LS-DYNA

  • Referenced in 218 articles [sw03068]
  • developer of LS-DYNA, LSTC, continuously recodes existing algorithms and develops more efficient methodologies...
  • MATCONT

  • Referenced in 188 articles [sw00551]
  • package are important. However, most of the existing software all have their...
  • Mfree2D

  • Referenced in 163 articles [sw15725]
  • requirements for users than many of the existing numerical packages. The first version of MFree2D...
  • CUTE

  • Referenced in 152 articles [sw14681]
  • between the SIF and a number of existing packages, including MINOS and OSL. Additionally...
  • ASSAT

  • Referenced in 141 articles [sw02524]
  • terminates with failure if no such M exists). If M is an answer...
  • Isar

  • Referenced in 95 articles [sw04599]
  • range of people. Paradoxically, none of the existing semi-automated reasoning systems have an adequate ... virtue of the Isar/VM interpreter. Compared to existing declarative theorem proving systems (like Mizar), Isar...
  • COBOL

  • Referenced in 129 articles [sw01228]
  • COBOL is now purely to maintain existing applications.[7] .. (wikipedia...
  • Bandera

  • Referenced in 125 articles [sw07663]
  • input language of one of several existing model-checking tools (including Spin, dSpin...
  • SUNDIALS

  • Referenced in 122 articles [sw00927]
  • solvers that can easily be incorporated into existing simulation codes. The primary design goals were...
  • AspectJ

  • Referenced in 118 articles [sw04426]
  • into standard Java bytecode. Simple extensions to existing Java development environments make it possible...
  • E Theorem Prover

  • Referenced in 115 articles [sw10187]
  • form “there exists an X with property P”), the latest versions can also provide possible...
  • Hyperheuristics

  • Referenced in 112 articles [sw00424]
  • savings resulting from using the existing hyperheuristic software framework...
  • MPFR

  • Referenced in 110 articles [sw03312]
  • function for MPFR or improved an existing one, please share your work...