Løsningsprogrammer

Løsningsprogrammer er programvare som beregner løsninger for problemer som kan formuleres matematisk eller logisk. De brukes i forskning, industri og utdanning til modellering, simulering og beslutningsstøtte. En løsningsmotor tar en modell som input og gir en løsning, ofte som en konstellasjon av variabler eller en optimal løsning under gitte begrensninger.

Symboliske løsningsprogrammer håndterer algebraiske uttrykk og likninger ved symbolsk manipulasjon, og kan forenkle, differensiere, integrere og løse likninger. Eksempler er Mathematica, Maple og Maxima.

Numeriske løsningsprogrammer bruker tallberegning og numeriske metoder for problemer uten eksakte symboliske løsninger. De er vanlige i ingeniørfag og vitenskap og inkluderer MATLAB, NumPy/SciPy og LAPACK.

Optimaliseringsløsere finner løsninger som maksimerer eller minimerer et mål under begrensninger, og brukes i logistikk, produksjon og finans. De dekker lineær og heltallsprogrammering samt ikke-lineær programmering. Kjente verktøy er Gurobi, CPLEX, GLPK og Google OR-Tools.

Begrensnings- og SAT/SMT-løsere håndterer problemer der variabler må tilordnes verdier i samsvar med begrensninger. Eksempler er Z3, Gecode, MiniSAT og Choco.

Løsningsprogrammer varierer i lisens og brukervennlighet, og kobles ofte til modelleringsspråk som AMPL, Pyomo eller PuLP for å beskrive problemer.