Describe [[/SummerOfCode2013|SummerOfCode2013]]/pkgSolver here.