Stack.Solver

checkResolverSpec

cabalPackagesCheck

findCabalFiles

mergeConstraints

solveExtraDeps

solveResolverSpec