# libsolv mit Homebrew, dnf, MacPorts, Nix, pacman, apt, zypper installieren Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für libsolv in AI-Agent-Workflows. ## Installation ```sh sudo av install brew:libsolv ``` Weitere Installationsbefehle: ### macOS - Homebrew (100%): ```sh brew install libsolv ``` Evidenz: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install libsolv ``` Evidenz: MacPorts ports tree: devel/libsolv/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - dnf (92%): ```sh sudo dnf install libsolv ``` Evidenz: Fedora Rawhide package metadata: libsolv from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#libsolv ``` Evidenz: nixpkgs package indexes: pkgs/by-name/li/libsolv/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - pacman (92%): ```sh sudo pacman -S libsolv ``` Evidenz: Arch Linux sync databases: libsolv from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz - Debian apt (92%): ```sh sudo apt install libsolv-dev ``` Evidenz: Debian stable package indexes: libsolv-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - zypper (92%): ```sh sudo zypper install libsolv-demo ``` Evidenz: openSUSE Tumbleweed package metadata: libsolv-demo from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst ## Paketfakten - **Paketschlüssel:** brew:libsolv - **Paketmanager:** Homebrew - **Version:** 0.7.39 - **Quellzusammenfassung:** Library for solving packages and reading repositories - **Homepage:** - **Repository:** - **Generiert:** 2026-08-03T19:37:03+00:00 ## Executables - appdata2solv (Alias) - archpkgs2solv (Alias) - archrepo2solv (Alias) - comps2solv (Alias) - conda2solv (Alias) - deb2solv (Alias) - deltainfoxml2solv (Alias) - dumpsolv (Alias) - helix2solv (Alias) - installcheck (Alias) - mdk2solv (Alias) - mergesolv (Alias) - repo2solv (Alias) - repomdxml2solv (Alias) - rpmdb2solv (Alias) - rpmmd2solv (Alias) - rpms2solv (Alias) - susetags2solv (Alias) - testsolv (Alias) - updateinfoxml2solv (Alias) ## Installationsverhalten - Bottle: nicht verfügbar ## Version und Aktualität - Seite generiert: 2026-08-03 - Manager-Version: 0.7.39 ## Projektgeschichte und Nutzung libsolv is openSUSE's package dependency solver and repository metadata library built around a SAT-solving model. It matters to package-manager culture because it turned dependency resolution into a reusable library with compact repository storage, solver introspection, and support for multiple package formats. ### Projektgeschichte The libsolv history page says the project started in May 2007 when the zypp team considered database-backed installation speedups. Michael Schroeder instead pursued compact dictionary storage for package strings and relations, creating the solv repository format. During SUSE Hack Week at the end of June 2007, Schroeder adapted ideas from MiniSAT for package dependency solving. By October 2007 the solver was being integrated into libzypp, and in January 2008 the new solver became the default for libzypp. ### Adoptionsgeschichte libsolv began inside the openSUSE/libzypp/YaST world, but its format readers made it useful beyond RPM repositories. The GitHub README lists support for rpm/rpm5, deb, Arch Linux, Haiku, and apk packages, plus repository formats such as rpmmd, susetags, Mandriva/Mageia synthesis, Arch repositories, and apk indexes. ### Wie es verwendet wird The package ships a library plus many conversion and inspection tools such as rpmdb2solv, repomdxml2solv, archrepo2solv, deb2solv, dumpsolv, mergesolv, installcheck, and testsolv. Packagers use it to transform repository metadata into solv files and to test dependency closure or upgrade behavior. ### Warum Paket-Nerds sich dafür interessieren libsolv is one of the clearest examples of SAT solving escaping theory and becoming normal package-manager plumbing. It is interesting to package nerds because it exposes dependency conflicts, weak dependencies, repository storage, and multi-format metadata as inspectable artifacts rather than opaque package-manager behavior. ### Zeitleiste - 2007-05: Project work began after zypp installation-speed discussions. - 2007-06: SUSE Hack Week produced the first SAT-based solver results. - 2007-10: Integration into libzypp started. - 2008-01: The SAT solver became the default libzypp solver. - 2014-07-08: GitHub tag 0.6.4 points to a version-bump commit in the openSUSE/libsolv repository. ### Related projects - libzypp and YaST were the original integration points. - MiniSAT influenced the solver design described in the project history. - RPM, Debian package metadata, Arch repositories, and apk indexes are related ecosystems supported by libsolv readers. ### Quellen - - - - ## Sicherheitshinweise library-like package without higher-risk signals. - **Geiger-Risiko:** grün / niedrig - library-like package without higher-risk signals ## Andere Paketmanager-Einträge - Debian apt - libsolv-dev - 0.7.32-1: normalized package name match | Debian stable package indexes: libsolv-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | dependency solver using a satisfiability algorithm (development files) | https://github.com/openSUSE/libsolv - Debian apt - libsolv-doc - 0.7.32-1: normalized package name match | Debian stable package indexes: libsolv-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | dependency solver using a satisfiablility algorithm (documentation files) | https://github.com/openSUSE/libsolv - Debian apt - libsolv-perl - 0.7.32-1: normalized package name match | Debian stable package indexes: libsolv-perl from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | dependency solver using a satisfiability algorithm (Perl bindings) | https://github.com/openSUSE/libsolv - Debian apt - libsolv-tools - 0.7.32-1: normalized package name match | Debian stable package indexes: libsolv-tools from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | dependency solver using a satisfiability algorithm (command-line tools) | https://github.com/openSUSE/libsolv - Debian apt - libsolv1 - 0.7.32-1: normalized package name match | Debian stable package indexes: libsolv1 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | dependency solver using a satisfiability algorithm (shared library) | https://github.com/openSUSE/libsolv - Debian apt - libsolvext-dev - 0.7.32-1: normalized package name match | Debian stable package indexes: libsolvext-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | dependency solver using a satisfiability algorithm (ext development files) | https://github.com/openSUSE/libsolv - Debian apt - libsolvext1 - 0.7.32-1: normalized package name match | Debian stable package indexes: libsolvext1 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | dependency solver using a satisfiability algorithm (extensions) | https://github.com/openSUSE/libsolv - Debian apt - python3-solv - 0.7.32-1: normalized package name match | Debian stable package indexes: python3-solv from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | dependency solver using a satisfiability algorithm (Python3 bindings) | https://github.com/openSUSE/libsolv - Nix - libsolv: normalized package name match | nixpkgs package indexes: pkgs/by-name/li/libsolv/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - libsolv-dev - 0.7.28-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libsolv-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | dependency solver using a satisfiability algorithm (development files) | https://github.com/openSUSE/libsolv - Ubuntu apt - libsolv-doc - 0.7.28-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libsolv-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | dependency solver using a satisfiablility algorithm (documentation files) | https://github.com/openSUSE/libsolv - Ubuntu apt - libsolv-perl - 0.7.28-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libsolv-perl from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | dependency solver using a satisfiability algorithm (Perl bindings) | https://github.com/openSUSE/libsolv - Ubuntu apt - libsolv-tools - 0.7.28-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libsolv-tools from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | dependency solver using a satisfiability algorithm (command-line tools) | https://github.com/openSUSE/libsolv - Ubuntu apt - libsolv1 - 0.7.28-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libsolv1 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | dependency solver using a satisfiability algorithm (shared library) | https://github.com/openSUSE/libsolv - Ubuntu apt - libsolvext-dev - 0.7.28-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libsolvext-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | dependency solver using a satisfiability algorithm (ext development files) | https://github.com/openSUSE/libsolv - Ubuntu apt - libsolvext1 - 0.7.28-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libsolvext1 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | dependency solver using a satisfiability algorithm (extensions) | https://github.com/openSUSE/libsolv ## Combined YAML source View the package source record on GitHub. [combined/libsolv.yml](https://github.com/mxcl/pkgdb/blob/main/combined/libsolv.yml) ## Quellen - pkg.so package database - Geiger risk classifier - curated package history - pkgdb category and tag curation - external package-manager database matches - cross-ecosystem install command graph