vvalue
solve :: SolverConfig-> CompilerInfo-> Index-> Maybe PkgConfigDb-> PN -> PackagePreferences-> Map PN [LabeledPackageConstraint]-> Set PN-> RetryLog Message SolverFailure (Assignment, RevDepMap)