SAS
Based on the current docs, SAS' constraint-programming interface is still burgeoning:
- ALLDIFF:
CP.AllDifferent
- CUMULATIVE:
CP.CumulativeResource
- ELEMENT
- GCC
- LEXICO
- PACK:
CP.BinPacking
and variants - REIFY:
CP.Reify
There are more features in the scheduling module: