Teaching Combinatorial Tricks To A Computer