A.50.2 Delayed column generation
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(simplex)).
constraint(+Name, +Constraint, +S0, -S)
Like constraint/3, and attaches the name Name (an atom or compound term) to the new constraint.