Install libsolvext0 by entering the following commands in the terminal:
sudo apt update sudo apt install libsolvext0
Description:
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.
Homepage: https://github.com/openSUSE/libsolv
Version: 0.6.30-1build1
Section: universe/admin