Namespace ZeroInstall.Services.Solvers

Solves requirements by selecting a specific combination of implementations from feeds.

Uses limited backtracking to solve Requirements. Does not find all possible solutions!

Uses an external process to solve Requirements. The executable for external process is itself provided by another ISolver.

Wraps two solvers always passing requests to the primary one initially and falling back to secondary one should the primary one fail.

Generates SelectionCandidates for ISolvers to choose among.

A demand used by ISolvers internally. Wrapper for Requirements that holds SelectionCandidates.

Indicates the ISolver was unable to provide Selections that fulfill the Requirements.

Provides extension methods for ISolver.

Common base class for representing a single run of a solver.

Helper functions for ISolver implementations.

Generates SelectionCandidates for ISolvers to choose among.

Chooses a set of Implementations to satisfy the requirements of a program and its user.