PV2 GLPSOLgenerates an algorithm description to solve the given problem

Application domain/field

Type of tool

Optimization solver

Expected input


Expected output

.sol file describing the solution as standard text


This is a stand-alone solver for LP (linear programming) and MIP (mixed integer programming) that is part of GLPK.
Mathematical optimization

ProVerB specific

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