copy Shujinke's einstein puzzle facts
minor cleanup of the facts file.
Start work on an einstein puzzle solver
more work on Einstein puzzle
Lets start with a simpler test, first.
re-partition the test
Expand the test some more.
start work on the full einsetin puzzle.
Avoid double-countiner of same persons
Merge branch 'master' into einstein
Add rules about neighbors
abbreviate the variable declarations
Add a neighbor-deduction rule
Fill in the remaining Einstein puzzle facts
Sharpen the transitive rule
remove un-needed files
Save of partial work
more rule simplification
more work on neighbors
More puzzle pieces