Availability:
:- use_module(library(simplex)).
maximize(+Objective,
+S0, -S)Coefficient*Variable terms that represents the sum of its
elements, with respect to the linear program corresponding to state
S0. \arg{S} is unified with an
internal representation of the solved instance.