https://123dok.net/document/z1de1vdz-sunny-cp-and-the-minizinc-challenge.html