løsningsprogram

Et løsningsprogram er et programvareverktøy som finner løsninger på problemer innenfor områder som matematikk, ingeniørfag og informatikk. Slike programmer tar ofte en modell av et problem som input og beregner en løsning som oppfyller gitte mål og restriksjoner, eller som maksimerer eller minimerer et målrettet kriterium. Løsningsprogrammer brukes både for å finne optimale løsninger og for å finne tilfredsstillende løsninger når eksakte metoder ikke er praktiske.

Løsningsprogram deles vanligvis inn i flere hovedkategorier. Numeriske løsningsprogrammer fokuserer på å løse ligningssystemer, differensialligninger og andre matematiske modeller ved hjelp av metoder som Gauss-eliminering, Newtons metode og ulike iterasjonsalgoritmer. Optimeringsløsningsprogrammer finner optimale eller nær-optimale løsninger for problemer som lineær programmering, heltallsprogrammering og ikke-lineær programmering. Logiske og satisfiability (SAT/SMT) løsnere håndterer logiske formuler og krav i form av utsagn og teorier. Constraint programming-løsere håndterer komplekse restriksjoner og søkeprosesser for å finne gyldige løsninger.

Et løsningsprogram arbeider ofte med modelleringsspråk eller filformater som LP/MPS, AMPL, GAMS eller CP/Minizinc for å beskrive problemet. Resultatet presenteres vanligvis som en løsning, samt tilhørende sensitivitet og feilanalyser. Mange verktøy tilbyr API-er eller integrasjoner slik at bedrifter og forskere kan inkorporere løsningsprogrammer i større arbeidsflyter og systemer.

Bruksområder spenner fra logistikk og produksjonsplanlegging til finans, vitenskapelig simulering og maskinlæring. Det finnes både åpne kilder og kommersielle produkter, for eksempel GLPK, CBC og COIN-OR som åpne løsninger, samt kommersielle løsninger som Gurobi og CPLEX som ofte tilbyr høy ytelse og omfattende støtte.