JuliaLang/julia — pull request #1587 by carlobaldassi (2012-11-22 00:18:06+00:00)
Title: Use ILP in Pkg.resolve()

@StefanKarpinski, this uses integer programming in both `resolve` linear programming steps, as per the commit message in c4d199d03b330885b6c195d3054df608cb6149ff.

I tested it and it seems to work fine, but I'm doing a pull request in case you have more complex cases where you want to test it.