Package: libsolvext0 (0.6.35-2+deb10u1)

[ Source: libsolv  ]

dependency solver using a satisfiability algorithm (extensions)

This dependency solver code in this package is based on two major, but independent, blocks:

1. Using a dictionary approach to store and retrieve package

   and dependency information.

2. Using satisfiability, a well known and researched topic, for

   resolving package dependencies.

Search the internet for 'sat solver' to get links to the theory behind it.

Supported package formats:

  - rpm/rpm5
  - deb
  - Arch Linux
  - haiku

Supported repository formats:

  - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
  - susetags, suse product formats
  - mandriva/mageia (synthesis, info, files)
  - Arch Linux
  - red carpet helix format
  - haiku

This package contains the libsolv extension library.

Tags: Role: Shared Library

Other Packages Related to libsolvext0

• dep: libbz2-1.0

  high-quality block-sorting file compressor library - runtime

• dep: libc6 (>= 2.28)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libdb5.3

  Berkeley v5.3 Database Libraries [runtime]

• dep: libexpat1 (>= 2.0.1)

  XML parsing C library - runtime library

• dep: liblzma5 (>= 5.1.1alpha+20120614)

  XZ-format compression library

• dep: librpm8 (>= 4.14.0+dfsg1)

  RPM shared library

• dep: librpmio8 (>= 4.14.0+dfsg1)

  RPM IO shared library

• dep: libsolv0 (>= 0.6.35)

  dependency solver using a satisfiability algorithm (shared library)

• dep: zlib1g (>= 1:1.2.3.3)

  compression library - runtime

Download libsolvext0

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	112.8 kB	294.0 kB	[list of files]