GLPK: GNU Linear Programming Kit

Application domain/field

Type of tool

Solver for LP and MIP problems

Expected input

Format:

? (GNU MathProg modeling language?)

Internals

Package for solving large-scale linear programming (LP), mixed integer programming (MIP) and other related problems.

Links

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.