Version 1.1.0

Originally released November 22, 2014.

• 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

Version 1.0.0

Baseline code release. Originally released November 17, 2010.