https://123dok.net/document/yj7v47o6-implementation-of-propagation-based-constraint-solver-in-ims.html