https://123dok.net/document/oz1m14vz-global-propagation-of-side-constraints-for-solving-over-constrained-problems.html