https://byrzhm.github.io/blog/posts/system-of-difference-constraints/