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

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.

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.

Tags: Role: Shared Library

This page is also available in the following languages (How to set the default document language):