Anonymous user
Zebra puzzle: Difference between revisions
m
→General solver with relational algebra: simplify
(Added alternative Tailspin solution) |
m (→General solver with relational algebra: simplify) |
||
Line 6,897:
$selected... -> {$} -> @: ($@ notMatching {| $ |});
[$@ -> resolve&{rows: $rows-1}] -> \(
when <~=[]> do
$... -> {| $..., $selected |} !
\) !
end resolve
| |||