Package: libsolvext1 (0.7.23-1+deb12u1)

[ 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 libsolvext1

• dep: libbz2-1.0

  high-quality block-sorting file compressor library - runtime

• dep: libc6 (>= 2.34)

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

• dep: libexpat1 (>= 2.0.1)

  XML parsing C library - runtime library

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

  XZ-format compression library

• dep: librpm9 (>= 4.16)

  RPM shared library

• dep: librpmio9 (>= 4.14.0+dfsg1)

  RPM IO shared library

• dep: libsolv1 (>= 0.7.23)

  dependency solver using a satisfiability algorithm (shared library)

• dep: libzstd1 (>= 1.5.2)

  fast lossless compression algorithm

• dep: zlib1g (>= 1:1.2.3.3)

  compression library - runtime

Download libsolvext1

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	135.5 kB	357.0 kB	[list of files]