• AMPL

  • Referenced in 594 articles [sw04001]
  • solutions, while the computer manages communication with an appropriate solver. AMPL’s flexibility and convenience...
  • PETSc

  • Referenced in 1212 articles [sw04012]
  • passing communication. PETSc includes an expanding suite of parallel linear, nonlinear equation solvers and time...
  • UG

  • Referenced in 23 articles [sw03500]
  • need for base solver parallelization. Base solvers and communication libraries are abstracted within ... framework is named: ug[Base solver, Communication libaray...
  • FEAST

  • Referenced in 83 articles [sw04025]
  • This general purpose FEAST solver package includes both reverse communication interfaces and ready ... easy to use software. This solver is expected to significantly augment numerical performances and capabilities...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis-Putnam method is one of the major ... using a master-slave model for communication. A simple and effective workload balancing method distributes...
  • EasyLocal++

  • Referenced in 36 articles [sw04104]
  • Strategy Method”, for the communication between the main solver and its component classes. The architecture...
  • Nektar++

  • Referenced in 76 articles [sw11964]
  • solve. The lack of inter-element communication and easily parallelizable nature of the local matrix ... parallelization techniques developed for the linear system solvers make a numerical scheme for elliptic PDEs ... well as the reduced trace-based communication pattern, which together make the method amenable...
  • P-SPARSLIB

  • Referenced in 35 articles [sw01455]
  • uses reverse communication mechanism. Finally examples of the use of iterative solvers on different types...
  • Syrup

  • Referenced in 5 articles [sw25919]
  • distributed version of Syrup. A portfolio SAT solver has to share clauses in order ... information has to be exchanged and communications among solvers can be time consuming. In this ... state-of-the-art SAT solver Syrup that is now able to run on distributed ... analyze and compare different programming models of communication. We show that, using a dedicated approach...
  • FGMRES

  • Referenced in 19 articles [sw04415]
  • FGMRES solvers have been implemented in Fortran 77 using the reverse communication mechanism...
  • LPFML

  • Referenced in 4 articles [sw06441]
  • used to enable previously unavailable language-solver connections and how our design improves ... under three different scenarios relevant to communication between solvers and modeling systems...
  • GMRES

  • Referenced in 16 articles [sw00365]
  • GMRES solvers have been implemented in Fortran 77 using the reverse communication mechanism...
  • WORHP

  • Referenced in 16 articles [sw10824]
  • Optimize Really Huge Problems (WORHP) is a solver for large-scale, sparse, nonlinear optimization problems ... communication, which offers an unprecedented level of interaction between user and nonlinear programming (NLP) solver...
  • MINRES-QLP

  • Referenced in 20 articles [sw11181]
  • make problem data known to the solver but hidden and secure from other program units ... particular, we circumvent the need for reverse communication. Example test programs input and solve real...
  • MUI

  • Referenced in 5 articles [sw18209]
  • support and an asynchronous communication protocol to handle inter-solver information exchange irrespective...
  • Hemelb

  • Referenced in 13 articles [sw01043]
  • solver is highly optimized and the resulting computational core is very fast. Furthermore, communication...
  • LSRN

  • Referenced in 20 articles [sw09555]
  • describe a parallel iterative least squares solver named LSRN that is based on random normal ... solving large problems on clusters with high communication cost. Numerical results show that ... DGELSD and a fast randomized least squares solver called Blendenpik on large dense problems...
  • HSL_MI20

  • Referenced in 48 articles [sw07246]
  • preconditioner for Krylov subspace methods. In this communication, we report on the design and development ... performance of an AMG-preconditioned Krylov solver. This is illustrated using a number of examples...
  • OsiCplex

  • Referenced in 1 article [sw21983]
  • Open Solver Interface (OSI) to communicate with these solvers. The OSICPLEX link has been written...
  • DSCPACK

  • Referenced in 8 articles [sw12615]
  • This solver is written in C; it uses MPI for inter-processor communication...