jgrapht/jgrapht — pull request #85 by gavra0 (2014-05-08 21:13:28+00:00)
Title: csv exporter, refs #84

Here is a possible implementation of the csv exporter. It is added to the package org.jgrapht.ext, where all exporters are.
If you have any comments, let me know, I can change it.