Initial commit of files. Pruning appears to have worked on 10 node
graphs (tested on 50 random graphs). 20 node graph is taking a while to
evaluate.