Added a method to save the results in dot format.
-rw-r--r-- 1756 Makefile
-rw-r--r-- 232 graph.txt
-rw-r--r-- 7325 miniksp.cc
-rw-r--r-- 9216 mtp.cc