Describe SummerOfCode2013/pkgSolver here.