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
Originally released November 22, 2014.