benchmarks.wiki / Public workspace

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

Problem

puzzle

There are 6 houses, numbered 1 to 6 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: `Alice`, `Peter`, `Arnold`, `Bob`, `Carol`, `Eric`
 - People have unique hair colors: `red`, `brown`, `blonde`, `black`, `gray`, `auburn`
 - Each person has an occupation: `engineer`, `lawyer`, `nurse`, `doctor`, `artist`, `teacher`

## Clues:
1. The person who has brown hair is not in the second house.
2. Alice is not in the fourth house.
3. The person who is an artist is Bob.
4. The person who has gray hair is the person who is a doctor.
5. Bob is the person who has auburn hair.
6. The person who is a doctor and Bob are next to each other.
7. The person who is an engineer is directly left of Alice.
8. Arnold is directly left of the person who is a lawyer.
9. Bob is directly left of the person who is a teacher.
10. Peter is somewhere to the right of the person who has brown hair.
11. Arnold is not in the second house.
12. The person who has black hair is Arnold.
13. The person who is a doctor is somewhere to the right of the person who has red hair.
14. The person who has brown hair and Carol are next to each other.
15. Arnold is somewhere to the left of the person who is a doctor.

size

6*3

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