SAS

Based on the current docs, SAS' constraint-programming interface is still burgeoning:

• ALLDIFF: MOI.AllDifferent
• CUMULATIVE: CP.CumulativeResource
• ELEMENT
• GCC
• LEXICO
• PACK: CP.BinPacking and variants
• REIFY: CP.Reify

There are more features in the scheduling module:

• ACTIVITY: TODO
• ALLDIFF: MOI.AllDifferent
• CUMULATIVE: CP.CumulativeResource
• ARRAY
• ELEMENT
• FOREACH
• GCC
• LEXICO
• LINCON: standard MOI
• OBJ: standard MOI
• PACK: CP.BinPacking and variants
• REIFY: CP.Reify
• REQUIRES
• RESOURCE
• SCHEDULE
• VARIABLE