Home / Computer science / Zebra puzzle
Computation
Find all solutions of the Zebra puzzle using constraint programming,
limiting all constraints to conjunctive normal form.
- Imports
- Model
- Attributes
- Decision variables
- Constraints: Exactly one attribute value per house
- Constraints: Exactly one house per attribute value
- Constraints: Fact 1
- Constraints: Fact 2
- Constraints: Fact 3
- Constraints: Fact 4
- Constraints: Fact 5
- Constraints: Fact 6
- Constraints: Fact 7
- Constraints: Fact 8
- Constraints: Fact 9
- Constraints: Fact 10
- Constraints: Fact 11
- Constraints: Fact 12
- Constraints: Fact 13
- Constraints: Fact 14
- Solution