Zebra puzzle: Difference between revisions
Content added Content deleted
m (→{{header|Tailspin}}: Corrected to find all possible solutions (tested by removing contstraints)) |
|||
Line 6,848: | Line 6,848: | ||
=={{header|Tailspin}}== |
=={{header|Tailspin}}== |
||
A general solver for this type of puzzle, using relational algebra. |
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> |
<lang tailspin> |
||
processor EinsteinSolver |
processor EinsteinSolver |