4 ms·
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/4fa2d5ca8
by mzl 5y ago
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/4fa2d5ca8f96f7ce939275be25bdd72b https://gist.github.com/zayenz/4fa2d5ca8f96f7ce939275be25bdd...
- linschn 5y agoThat's a great example to teach or learn many aspects of minizinc! Great job :)