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