Index

A

add_package() (simplesat.repository.Repository method)

add_repository() (simplesat.pool.Pool method)

B

backtrack() (in module simplesat.utils.graph)

breadth_first_search() (in module simplesat.utils.graph)

C

ConflictRequirement (class in simplesat.constraints.requirement)

connected_nodes() (in module simplesat.utils.graph) constraints_to_pretty_strings() (in module simplesat.constraints.package_parser)

D

DependencySolver (class in simplesat.dependency_solver)

F

find_package() (simplesat.repository.Repository method) find_packages() (simplesat.repository.Repository method)

from_constraints() (simplesat.constraints.requirement.Requirement class method) from_package_string() (simplesat.constraints.requirement.Requirement class method)

G

generate_rules_for_requirement() (in module simplesat.test_utils)

H

has_any_version_constraint (simplesat.constraints.requirement.Requirement attribute)

I

id_to_package() (simplesat.pool.Pool method) id_to_string() (simplesat.pool.Pool method)

InstallRequirement (class in simplesat.constraints.requirement) iter_package_ids() (simplesat.pool.Pool method) iter_packages() (simplesat.pool.Pool method)

M

matches() (simplesat.constraints.requirement.Requirement method)

modify_requirement() (simplesat.pool.Pool method)

P

package_id() (simplesat.pool.Pool method) package_lit_dependency_graph() (in module simplesat.utils.graph) package_to_pretty_string() (in module simplesat.constraints.package_parser) PackageMetadata (class in simplesat.package)

packages_are_consistent() (in module simplesat.dependency_solver) packages_from_requirements() (in module simplesat.dependency_solver) parse_package_full_name() (in module simplesat.constraints.requirement) parse_package_list() (in module simplesat.test_utils) Pool (class in simplesat.pool)

R

Repository (class in simplesat.repository) Request (class in simplesat.request) Requirement (class in simplesat.constraints.requirement)

requirements_are_complete() (in module simplesat.dependency_solver) requirements_are_satisfiable() (in module simplesat.dependency_solver) requirements_from_packages() (in module simplesat.dependency_solver)

S

SatisfiabilityErrorWithHint satisfy_requirements() (in module simplesat.dependency_solver) Scenario (class in simplesat.test_utils) simplesat.constraints.package_parser (module) simplesat.constraints.requirement (module) simplesat.errors (module) simplesat.package (module) simplesat.pool (module)

simplesat.repository (module) simplesat.request (module) simplesat.sat.policy (module) simplesat.test_utils (module) simplesat.utils.graph (module) simplify_requirements() (in module simplesat.dependency_solver) solve() (simplesat.dependency_solver.DependencySolver method) solve_with_hint() (simplesat.dependency_solver.DependencySolver method)

T

to_constraints() (simplesat.constraints.requirement.Requirement method)

toposort() (in module simplesat.utils.graph) transitive_neighbors() (in module simplesat.utils.graph)

U

update() (simplesat.repository.Repository method)

W

what_provides() (simplesat.pool.Pool method)