Further simplify zebra puzzle

LukasZahradnik · Dec 29, 2022 · 30e16b0 · 30e16b0
1 parent 547dea6
commit 30e16b0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/examples/zebra_puzzle.py b/examples/zebra_puzzle.py
@@ -31,8 +31,7 @@
     # 5. The Ukrainian drinks tea.
     R.special.eq(V.Ukrainian, V.Tea),
     # 6. The green house is immediately to the right of the ivory house.
-    R.special.next(V.Ivory, V.RightOfIvory),
-    R.special.eq(V.Green, V.RightOfIvory),
+    R.special.next(V.Ivory, V.Green),
     # 7. The Old Gold smoker owns snails.
     R.special.eq(V.OldGold, V.Snails),
     # 8. Kools are smoked in the yellow house.