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

Project page: https://www.gnu.org/software/glpk/

Last commit date

16 December 2020 (Last available download)

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.