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