all options
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: libsolv  ]

Package: libsolvext1 (0.7.23-1+deb12u1)

Links for libsolvext1

Screenshot

Debian Resources:

Download Source Package libsolv:

Maintainer:

External Resources:

Similar packages:

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.

Other Packages Related to libsolvext1

  • depends
  • recommends
  • suggests
  • enhances

Download libsolvext1

Download for all available architectures
Architecture Package Size Installed Size Files
arm64 115.9 kB376.0 kB [list of files]