Did you know ... Search Documentation:
Pack modeling -- README

This package provides arrays with clpfd-clpr constraints on subscripted variables

Simple usage