kiwi.solver Package¶
Submodules¶
kiwi.solver.sat
Module¶
-
class
kiwi.solver.sat.
Sat
[source]¶ Bases:
object
Sat Solver class to run package solver operations
The class uses SUSE’s libsolv sat plugin
-
add_repository
(solver_repository)[source]¶ Add a repository solvable to the pool. This basically add the required repository metadata which is needed to run a solver operation later.
- Parameters
solver_repository (object) – Instance of
SolverRepository
-
solve
(job_names, skip_missing=False, ignore_recommended=True)[source]¶ Solve dependencies for the given job list. The list is allowed to contain element names of the following format:
name describes a package name
pattern:name describes a package collection name whose metadata type is called ‘pattern’ and stored as such in the repository metadata. Usually SUSE repos uses that
group:name describes a package collection name whose metadata type is called ‘group’ and stored as such in the repository metadata. Usually RHEL/CentOS/Fedora repos uses that
- Parameters
- Raises
KiwiSatSolverJobProblems – if solver reports solving problems
- Returns
Transaction result information
- Return type
-