• YALMIP

  • Referenced in 913 articles [sw04595]
  • MATLAB code. Automatic categorization of problems, and automatic solver selection Supports numerous external solvers, both...
  • CUTEr

  • Referenced in 558 articles [sw04010]
  • linear algebra solvers. The package contains a collection of test problems, along with Fortran ... improve new and existing solvers. The test problems provided are written in so-called Standard...
  • SDPT3

  • Referenced in 609 articles [sw04009]
  • illustrate the coding of problem data for our SQLP solver. Various techniques to improve ... total of about 300 test problems to an accuracy of at least...
  • HLLE

  • Referenced in 551 articles [sw06605]
  • Leer and Einfeldt) solver is an approximate solution to the Riemann problem, which is only ... stability and robustness of the HLLE solver is closely related to the signal velocities...
  • OpenFOAM

  • Referenced in 390 articles [sw04317]
  • OpenFOAM includes over 80 solver applications that simulate specific problems in engineering mechanics and over...
  • Chaff

  • Referenced in 567 articles [sw06916]
  • solver. Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort ... provide practical solutions to this problem for problem instances encountered in a range of applications ... both research and industry. Most existing complete solvers are variants of the Davis-Putnam...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • means that for each of the two problems all solutions are to be found ... interval arithmetic and the solvers for the above mentioned problems in FORTRAN 77 resp. FORTRAN...
  • ODEPACK

  • Referenced in 191 articles [sw08341]
  • collection of Fortran solvers for the initial value problem for ordinary differential equation systems ... solvers use general sparse matrix solvers for the linear systems that arise. Two others ... recent addition is LSODIS, which solves implicit problems with general sparse treatment of all matrices...
  • GAMS

  • Referenced in 838 articles [sw04978]
  • establish an accurate model. The system models problems in a highly compact and natural ... quickly and easily, can change from one solver to another, and can even convert from...
  • LMI toolbox

  • Referenced in 1419 articles [sw06383]
  • interior-point LMI solvers. While these solvers are significantly faster than classical convex optimization algorithms ... solving, say, a Riccati equation. For instance, problems with a thousand design variables typically take...
  • ABAQUS

  • Referenced in 1452 articles [sw04215]
  • solutions for both routine and sophisticated engineering problems covering a vast spectrum of industrial applications ... common model data structure and integrated solver technology. Best-in-class companies are taking advantage...
  • SNOPT

  • Referenced in 507 articles [sw02300]
  • explicit provision for infeasibility in the original problem and the QP subproblems. SNOPT ... that makes use of a semidefinite QP solver. It is based on a limited-memory ... subproblems. It is designed for problems with many thousands of constraints and variables...
  • Optimization Toolbox

  • Referenced in 283 articles [sw10828]
  • Solve linear, quadratic, integer, and nonlinear optimization problems. Optimization Toolbox™ provides functions for finding parameters ... objectives while satisfying constraints. The toolbox includes solvers for linear programming, mixed-integer linear programming ... these solvers to find optimal solutions to continuous and discrete problems, perform tradeoff analyses...
  • bvp4c

  • Referenced in 233 articles [sw06178]
  • boundary value problems. See Multipoint Boundary Value Problems. You can use the function bvpinit ... information. The bvp4c solver can also find unknown parameters p for problems of the form ... unknown parameters in solinit.parameters. The bvp4c solver returns the final values of these unknown parameters...
  • CGS

  • Referenced in 301 articles [sw08225]
  • competitive solver for nonsymmetric linear systems, at least for problems that are not too large...
  • Concorde

  • Referenced in 302 articles [sw04770]
  • problem (TSP) and some related network optimization problems. The code is written in the ANSI ... Cook for licensing options. Concorde’s TSP solver has been used to obtain the optimal ... create specialized codes for TSP-like problems. All Concorde functions are thread-safe for programming ... shared-memory parallel environments; the main TSP solver includes code for running over networks...
  • CSPLib

  • Referenced in 92 articles [sw04150]
  • library of test problems for constraint solvers. The library consists of: problems organised by subject ... problem number guidelines for submitting new problems a paper about the library (in postscript ... related benchmark libraries links to constraint solvers a history of changes to the library ... research in constraints away from purely random problems and onto more structured problems...
  • SATLIB

  • Referenced in 57 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers, and tools we are using ... solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations...
  • LS-DYNA

  • Referenced in 309 articles [sw03068]
  • combined Implicit/Explicit solver. One scalable code for solving highly nonlinear transient problems enabling the solution...