A Solver típusú programok olyan matematikai optimalizálási alkalmazások egy önálló számítógépes szoftverben vagy szoftverkönyvtárban, amellyel matematikai feladatot lehet megoldani. Solverrel valamilyen általánosított feladatot veszünk és számíttatjuk ki a megoldást. Célunk olyan általános modell megalkotása, melynek segítségével számos hasonló probléma megoldható.
Az egyik legismertebb ilyen szoftver a Microsoft Excel bővítményeként telepíthető Excel Solver program.[1] Ennek a programnak az a működési elve, hogy a megszorítások figyelembevételével megvizsgálja a lehetséges megoldásokat, majd azok közül kiválasztja a számunkra legkedvezőbbet. Egy feladatnak lehet egy, több vagy akár végtelen sok optimális megoldása, de előfordulhat az is, hogy egy sincs.[2]
Excel Solver segítségével az ún. célértékcellában található képlet optimális (minimális, maximális vagy adott célértéket felvevő) értékét keresheti meg a megkötések vagy korlátozások felállításával a munkalapon szereplő többi képletcella értékeiben. Ehhez Solver a cellák olyan, döntési változóknak vagy egyszerűen változócelláknak nevezett csoportját használja fel, amelyek a képletek kiszámításához használhatók a célérték- vagy a korlátozáscellában. A Solver úgy módosítja a döntési változócellák értékeit, hogy megfeleljenek a korlátozáscella megkötéseinek és a célértékcellához kívánt eredményt hozza létre.[3]
Solver típusú programokkal tipikusan megoldható problémák az operációkutatásból ismert standard problémák. Ilyenek például az alábbiak:[4]
Az Excel Solver használatának egyszerűségét bemutatja ez a videógyűjtemény.[5]