I've previously written a model that generates sets of non-transitive dice using MiniZinc. It can be seen in this Gist: https://gist.github.com/zayenz/4fa2d5ca8f96f7ce939275be25bdd...