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

  • job_names (list) – list of strings

  • skip_missing (bool) – skip job if not found

  • ignore_recommended (bool) – do not include recommended packages

Raises

KiwiSatSolverJobProblems – if solver reports solving problems

Returns

Transaction result information

Return type

dict

Module Contents