11/22/2014 Version 1.1.0
* Removed the lp_solve dependency, which disables the MIN-k-SAT orientation
* Include an executable JAR file
* Update the edge output format and only output edges on satisifed paths

1/17/2010 Version 1.0.0
* Baseline release