Non-transitive dice: Difference between revisions
Content added Content deleted
(Realize in MiniZinc) |
|||
| Line 471: | Line 471: | ||
=={{header|MiniZinc}}== |
=={{header|MiniZinc}}== |
||
===The model=== |
|||
<lang MiniZinc> |
<lang MiniZinc> |
||
%Non transitive dice. Nigel Galloway, September 14th., 2020 |
%Non transitive dice. Nigel Galloway, September 14th., 2020 |
||
| Line 735: | Line 736: | ||
Finished in 2m 9s |
Finished in 2m 9s |
||
</pre> |
</pre> |
||
=={{header|Phix}}== |
=={{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().) |
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().) |
||