Package: libsolvext1 (0.7.23-1+deb12u1)

[ Source: libsolv  ]

risolutore di dipendenze che usa un algoritmo di soddisfacibilità (estensioni)

Il codice del risolutore di dipendenze in questo pacchetto è basato su due blocchi principali ma indipendenti:

1. Uso di un approccio con dizionario per memorizzare e recuperare

   informazioni su pacchetti e dipendenze.

2. Uso della soddisfacibilità, un argomento ben conosciuto e studiato, per

   risolvere le dipendenze dei pacchetti.

Cercare in Internet "sat solver" per ottenere collegamenti alla teoria alla sua base.

Formati di pacchetti gestiti:

  - rpm/rpm5,
  - deb,
  - Arch Linux,
  - haiku.

Formati di repository gestiti:

  - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo),
  - susetags, formati dei prodotti Suse,
  - mandriva/mageia (synthesis, info, files),
  - Arch Linux,
  - formato helix di Red Carpet,
  - haiku.

Questo pacchetto contiene la libreria d'estensione di libsolv.

Tags: Role: Shared Library

Other Packages Related to libsolvext1

• dep: libbz2-1.0

  libreria compressione file a ordinamento blocchi di alta qualità - runtime

• dep: libc6 (>= 2.34)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libexpat1 (>= 2.0.1)

  libreria C per l'analisi di file XML - libreria runtime

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

  libreria per compressione in formato XZ

• dep: librpm9 (>= 4.16)

  libreria RPM condivisa

• dep: librpmio9 (>= 4.14.0+dfsg1)

  libreria IO condivisa di RPM

• dep: libsolv1 (>= 0.7.23)

  risolutore di dipendenze che usa un algoritmo di soddisfacibilità (libreria condivisa)

• dep: libzstd1 (>= 1.5.2)

  veloce algoritmo di compressione senza perdita

• dep: zlib1g (>= 1:1.2.3.3)

  libreria di compressione - runtime

Download libsolvext1

Download for all available architectures

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