Binary package “libsolvext1” in ubuntu oracular
dependency solver using a satisfiability algorithm (extensions)
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.
Source package
Published versions
- libsolvext1 0.7.28-1build2 in amd64 (Release)
- libsolvext1 0.7.30-1 in amd64 (Proposed)
- libsolvext1 0.7.30-1 in amd64 (Release)
- libsolvext1 0.7.28-1build2 in arm64 (Release)
- libsolvext1 0.7.30-1 in arm64 (Proposed)
- libsolvext1 0.7.30-1 in arm64 (Release)
- libsolvext1 0.7.28-1build2 in armhf (Release)
- libsolvext1 0.7.30-1 in armhf (Proposed)
- libsolvext1 0.7.30-1 in armhf (Release)
- libsolvext1 0.7.28-1build2 in ppc64el (Release)
- libsolvext1 0.7.30-1 in ppc64el (Proposed)
- libsolvext1 0.7.30-1 in ppc64el (Release)
- libsolvext1 0.7.28-1build2 in riscv64 (Release)
- libsolvext1 0.7.30-1 in riscv64 (Proposed)
- libsolvext1 0.7.30-1 in riscv64 (Release)
- libsolvext1 0.7.28-1build2 in s390x (Release)
- libsolvext1 0.7.30-1 in s390x (Proposed)
- libsolvext1 0.7.30-1 in s390x (Release)