Solver: Difference between revisions

Revision as of 23:22, 25 November 2015

Revision as of 04:47, 29 September 2016

Line 1:

{{For|the band|Solver (band)}}

{{Unreferenced|date=September 2009}}

A '''solver''' is a generic term indicating a piece of [[mathematical software]], possibly in the form of a stand-alone [[computer program]] or as a [[Library (computing)|software library]], that 'solves' a mathematical problem. A solver takes problem descriptions in some sort of generic form and calculates their solution. In a solver, the emphasis is on creating a program or library that can easily be applied to other problems of similar type.

Types of problems with existing dedicated solvers include:

Line 28:

* [[Mathematical software]] for other types of mathematical software.

* [[Problem solving environment]]: a specialized software combining automated problem-solving methods with human-oriented tools for guiding the problem resolution.

* [[Satisfiability Modulomodulo Theoriestheories]] for solvers of logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality.

==References==