Class SatSolver
- Namespace
- ZeroInstall.Services.Solvers
- Assembly
- ZeroInstall.Services.dll
Uses a boolean satisfiability solver to solve Requirements.
public class SatSolver : ISolver- Inheritance
-
objectSatSolver
- Implements
- Extension Methods
Constructors
SatSolver(ISelectionCandidateProvider)
Uses a boolean satisfiability solver to solve Requirements.
public SatSolver(ISelectionCandidateProvider candidateProvider)Parameters
candidateProviderISelectionCandidateProviderGenerates SelectionCandidates for the solver to choose from.
Methods
Solve(Requirements)
Provides Selections that satisfy a set of Requirements.
public Selections Solve(Requirements requirements)Parameters
requirementsRequirementsThe requirements to satisfy.
Returns
- Selections
The selected ImplementationSelections.
Remarks
Feed files may be downloaded, signature validation is performed, implementations are not downloaded.
Exceptions
- OperationCanceledException
The user canceled the task.
- ArgumentException
requirementsis incomplete.- IOException
A problem occurred while reading the feed file.
- WebException
A problem occurred while fetching the feed file.
- UnauthorizedAccessException
Access to the cache is not permitted.
- SignatureException
The signature data of a remote feed file could not be verified.
- SolverException
The solver was unable to provide Selections that fulfill the
requirements.