A.50.2 Delayed column generation
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(simplex)).
constraint_add(+Name, +Left, +S0, -S)
Left is a list of Coefficient*Variable terms. The terms are added to the left-hand side of the constraint named Name. S is unified with the resulting state.