In [11]:

    

import forge
from puzzle.puzzlepedia import puzzlepedia

puzzle = puzzlepedia.parse("""
name in {x, m, z, e}
jobs in {shopkeeper, soldier, carpenter, farmer}
color in {purple, red, yellow, blue}
height in {1, 2, 3, 4}

#1 No one has money.

#2
purple == 4

#3
red.height == m.height + 1

#4
z == yellow

#5
blue == shopkeeper

#6
e.height > soldier.height
e.height > carpenter.height

#7
soldier != 1

#7
soldier != red
soldier != purple
""")


    

In [ ]: