constraint

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(simplex): Solve linear programming problems
      - Delayed column generation
        
        constraint/4
        
        shadow_price/3
        
        constraint_add/4
- Packages

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.