Program
Verification
Book
Homepage
All tools
PV0
PV1
PV2
PV3
PV4
PV5
PV6
Frameworks
Tags
Specification formats
About
GLPK: GNU Linear Programming Kit
Application domain/field
Linear programming
Mixed integer programming
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
Markdown description:
view/edit
Contained in the ProVerB22 dataset (
paper
+
artefact
)
ProVerB
is a part of
SLEBoK
. Last updated:
February 2023
.