• CUTEr

  • Referenced in 569 articles [sw04010]
  • testing environment for optimization and linear algebra solvers. The package contains a collection of test ... Matlab tools intended to help developers design, compare and improve new and existing solvers ... these files may be manipulated to provide tools suitable for testing optimization packages. Ready...
  • ABAQUS

  • Referenced in 1470 articles [sw04215]
  • common model data structure and integrated solver technology. Best-in-class companies are taking advantage ... Unified FEA to consolidate their processes and tools, reduce costs and inefficiencies, and gain...
  • XPRESS

  • Referenced in 221 articles [sw04834]
  • tools: model building and development tools, and solver engines...
  • LMI toolbox

  • Referenced in 1429 articles [sw06383]
  • techniques have emerged as powerful design tools in areas ranging from control engineering to system ... state-of-the-art interior-point LMI solvers. While these solvers are significantly faster than...
  • Gmsh

  • Referenced in 602 articles [sw00366]
  • fast, light and user-friendly meshing tool with parametric input and advanced visualization capabilities. Gmsh ... built around four modules: geometry, mesh, solver and post-processing. The specification of any input...
  • LINGO

  • Referenced in 300 articles [sw04942]
  • LINGO is a comprehensive tool designed to make building and solving Linear, Nonlinear (convex & nonconvex/Global ... fast built-in solvers...
  • Gringo

  • Referenced in 97 articles [sw04630]
  • University of Potsdam. The first tool, gringo, is a grounder capable of translating logic programs ... clasp, which is a solver. The third tool, clingo, integrates the functionalities of gringo ... clasp, thus, acting as a monolithic solver for user programs. Finally, iclingo extends clingo ... novices to make use of the aforementioned tools. For another, it provides a reference...
  • PHCpack

  • Referenced in 216 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation. Polynomial systems ... methods among its tools. The outline of one black-box solver is sketched...
  • SATLIB

  • Referenced in 57 articles [sw02107]
  • collection of benchmark problems, solvers, and tools we are using for our own SAT related ... provide a uniform test-bed for SAT solvers as well as a site for collecting...
  • ILOG SCHEDULE

  • Referenced in 65 articles [sw21243]
  • constraint-based techniques and tools enables the implementation of precise, flexible efficient and extensible scheduling ... ILOG SCHEDULE is based on SOLVER, the generic software tool for object-oriented constraint programming ... result, SCHEDULE users can make use of SOLVER to represent specific constraints, and implement ... expected-that object-oriented constraint programming tools like SCHEDULE will enable the industry to make...
  • PETSc

  • Referenced in 1182 articles [sw04012]
  • expanding suite of parallel linear, nonlinear equation solvers and time integrators that may be used ... PETSc is a sophisticated set of software tools; as such, for some users it initially...
  • dReal

  • Referenced in 28 articles [sw07157]
  • describe the open-source tool dReal, an SMT solver for nonlinear formulas over the reals...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • that need further development. Algorithmic and practical tools are emphasized, theoretical considerations are sporadically present ... library packages for interval arithmetic and the solvers for the above mentioned problems in FORTRAN...
  • PLTMG

  • Referenced in 215 articles [sw00717]
  • adaptive meshing paradigm and corresponding domain decomposition solver are also provided. PLTMG is provided ... Michael Holst’s OpenGL display tool SG. The X-Windows, MPI, and SG interfaces require...
  • QBFLIB

  • Referenced in 17 articles [sw09581]
  • QBFLIB is a collection of instances, solvers, and tools related to Quantified Boolean Formula ... empirical characterization of QBF solvers...
  • NuSMV

  • Referenced in 298 articles [sw04131]
  • designs, as a core for custom verification tools, as a testbed for formal verification techniques ... connected to the Minisat SAT Solver and/or to the ZChaff SAT Solver. The University...
  • SMCSolver

  • Referenced in 15 articles [sw15194]
  • paper Structured Markov chains solver: software tools by Bini, Meini, Steffe and Van Houdt (SMCtools...
  • CSparse

  • Referenced in 205 articles [sw20382]
  • book and equips readers with the tools necessary to understand larger and more complex software ... working knowledge required to use sparse solver packages and write code to interface applications...
  • OpenFOAM

  • Referenced in 406 articles [sw04317]
  • solid dynamics and electromagnetics. It includes tools for meshing, notably snappyHexMesh, a parallelised mesher ... library functionality. OpenFOAM includes over 80 solver applications that simulate specific problems in engineering mechanics...
  • Sundance

  • Referenced in 18 articles [sw10599]
  • Sundance rapid prototyping tool for parallel PDE optimization. High-performance algorithms for partial differential equation ... modification to the PDE solver. A software tool to enable rapid development of parallel codes ... environment in which a parallel PDE solver is accessed via a high-level problem description...