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
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.