Logic puzzle

Puzzle.py

"""You will write code to solve the following logic puzzle:

1. The person who arrived on Wednesday bought the laptop.
2. The programmer is not Wilkes.
3. Of the programmer and the person who bought the droid,
   one is Wilkes and the other is Hamming. 
4. The writer is not Minsky.
5. Neither Knuth nor the person who bought the tablet is the manager.
6. Knuth arrived the day after Simon.
7. The person who arrived on Thursday is not the designer.
8. The person who arrived on Friday didn't buy the tablet.
9. The designer didn't buy the droid.
10. Knuth arrived the day after the manager.
11. Of the person who bought the laptop and Wilkes,
    one arrived on Monday and the other is the writer.
12. Either the person who bought the iphone or the person who bought the tablet
    arrived on Tuesday.

You will write the function logic_puzzle(), which should return a list of the
names of the people in the order in which they arrive. For example, if they
happen to arrive in alphabetical order, Hamming on Monday, Knuth on Tuesday, etc.,
then you would return:

['Hamming', 'Knuth', 'Minsky', 'Simon', 'Wilkes']

(You can assume that the days mentioned are all in the same week.)
"""
import itertools


def after(p1,p2):
    return p1-p2 == 1

def logic_puzzle():
    "Return a list of the names of the people, in the order they arrive."
    ## your code here; you are free to define additional functions if needed 
    def answer(result): d = dict(zip(people,result)); return sorted( d,key=lambda k:d[k] )

    days      = M,T,W,t,F  = 1,2,3,4,5
    people    = ( 'Hamming', 'Knuth', 'Minsky', 'Simon', 'Wilkes' )
    orderings = list( itertools.permutations(days) )

    return  answer(next((Hamming,Knuth,Minsky,Simon,Wilkes) 
                   for (laptop,droid,iphone,tablet,y) in orderings
                   if laptop is W and tablet is not F 
                   for (manager,programmer,writer,designer,x) in orderings 
                   if designer is not t and designer is not droid
                   and ((iphone is not T) or (tablet is not T))
                   for (Hamming,Knuth,Minsky,Simon,Wilkes) in orderings
                   if (Knuth is not manager) and ( tablet is not manager)
                   and Wilkes is not programmer and Minsky is not writer 
                   and after(Knuth,Simon) and after(Knuth,manager) 
                   and (Wilkes is M and laptop is writer) or (Wilkes is writer and laptop is M) 
                   ))  


def test():
    assert logic_puzzle() == ['Wilkes', 'Simon', 'Knuth', 'Hamming', 'Minsky']
    print 'nailed'

test()