M2 @ ENS Cachan / MPRI — Constraint Programming (2-35-1) — Project: generating non-transitive dice cycles in Prolog