Anonymous user
Zebra puzzle: Difference between revisions
m
→{{header|Tailspin}}
m (→{{header|Tailspin}}: Corrected to find all possible solutions (tested by removing contstraints)) |
|||
Line 6,848:
=={{header|Tailspin}}==
A general solver for this type of puzzle, using relational algebra. This solver can also be used for "Dinesman's multiple-dwelling problem"
<lang tailspin>
processor EinsteinSolver
|