libsolvext0 - 0.6.35-2+deb10u1 main

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.