kiwi.solver Package

Submodules

kiwi.solver.sat Module

class kiwi.solver.sat.Sat

Bases: object

Sat Solver class to run package solver operations

The class uses SUSE’s libsolv sat plugin

add_repository(solver_repository)

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)

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