Package: libsolvext0 (0.6.35-2+deb10u1)

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

• dep: libbz2-1.0

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

• dep: libc6 (>= 2.28)

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

• dep: libdb5.3

  librerie del database Berkeley v 5.3 [runtime]

• 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: librpm8 (>= 4.14.0+dfsg1)

  libreria RPM condivisa

• dep: librpmio8 (>= 4.14.0+dfsg1)

  libreria IO condivisa di RPM

• dep: libsolv0 (>= 0.6.35)

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

• dep: zlib1g (>= 1:1.2.3.3)

  libreria di compressione - runtime

Download libsolvext0

Download for all available architectures

Architecture	Package Size	Installed Size	Files
armhf	95.2 kB	191.0 kB	[list of files]