Made the changes to the iterative version - it now reads in DIMACS files. See the examples for how it's done. I'll modify the recursive version later.