benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-4x4-5 / There are 4 houses, numbered 1 to 4 from left to right, as seen from across the…

Problem

puzzle

There are 4 houses, numbered 1 to 4 from left to right, as seen from across the street. Each house is occupied by a different person. Each house has a unique attribute for each of the following characteristics:
 - Each person has a unique name: `Eric`, `Alice`, `Arnold`, `Peter`
 - Each person has a unique favorite drink: `milk`, `tea`, `coffee`, `water`
 - The people keep unique animals: `horse`, `bird`, `fish`, `cat`
 - Each person prefers a unique type of vacation: `cruise`, `city`, `mountain`, `beach`

## Clues:
1. Peter is the cat lover.
2. The fish enthusiast is not in the third house.
3. The person who loves beach vacations is the person who keeps horses.
4. The fish enthusiast is not in the fourth house.
5. The coffee drinker is directly left of the bird keeper.
6. The one who only drinks water is Eric.
7. The tea drinker is somewhere to the right of Peter.
8. Eric is not in the second house.
9. The person who loves beach vacations is somewhere to the right of Peter.
10. The person who loves beach vacations is Alice.
11. The cat lover is somewhere to the left of the person who likes going on cruises.
12. The person who keeps horses is directly left of the person who enjoys mountain retreats.

size

4*4

Discussion

Discussion

No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Why there is no answer to show Answer withheld by the source

Artifacts

Code, notes and reproducible work shared by participants. Files are served from a separate origin.

No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Source and history

Official source

initial import