Wumpus world con python y z3 y otras cosas