clpfd-tutorial Examples from clp(fd) tutorial at https://github.com/Anniepoo/swiplclpfd/blob/master/clpfd.adoc