Non-transitive dice: Difference between revisions
→{{header|MiniZinc}}
(Realize in MiniZinc) |
|||
Line 471:
=={{header|MiniZinc}}==
===The model===
<lang MiniZinc>
%Non transitive dice. Nigel Galloway, September 14th., 2020
Line 735 ⟶ 736:
Finished in 2m 9s
</pre>
=={{header|Phix}}==
Requires 0.8.2+ (added sq_cmp() builtin that returns nested -1/0/+1 compare() results, just like the existing sq_eq() does for equal().)
| |||