A.43.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.
ClioPatria (version V3.1.1-40-g9d9e003)