solver3: Defer version selection where possible

If a dependency can be satisfied by all versions of a package,
add the package to the clause instead of the version object.

This works only if there are no providers for the package: Providers
are quite hard to enumerate over and make sure that all versions of
a package satisfy the provider dependency.

Implement arbitrary selection between packages and versions for
the CompareProviders class: We pick the best version for each package
and then pit them against each other.

1 files changed, 1 insertions, 0 deletions

diff --git a/doc/examples/configure-index b/doc/examples/configure-index
index ba51a9881..1573eaa8b 100644
--- a/doc/examples/configure-index
+++ b/doc/examples/configure-index
@@ -698,6 +698,7 @@ apt::list-cleanup "<BOOL>";
 apt::authentication::trustcdrom "<BOOL>";
 apt::solver::strict-pinning "<BOOL>";
 apt::solver::enqueue-common-dependencies "<BOOL>";
+apt::solver::defer-version-selection "<BOOL>";
 apt::solver::upgrade "<BOOL>";
 apt::solver::remove "<BOOL>";
 apt::solver::removemanual "<BOOL>";