Automic VaultAutomic Vault

brew

Installer libsolv avec Homebrew, dnf, MacPorts, Nix, pacman, apt, zypper

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de libsolv pour les workflows d'agents IA.

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install libsolv

local Homebrew formula metadata

MacPortsvérifié · 94%
sudo port install libsolv

MacPorts ports tree · devel/libsolv/Portfile · Source: api.github.com

Linux

Fedora dnfvérifié · 92%
sudo dnf install libsolv

Fedora Rawhide package metadata · libsolv · Source: dl.fedoraproject.org

Nixvérifié · 92%
nix profile install nixpkgs#libsolv

nixpkgs package indexes · pkgs/by-name/li/libsolv/package.nix · Source: api.github.com

Arch Linux pacmanvérifié · 92%
sudo pacman -S libsolv

Arch Linux sync databases · libsolv · Source: geo.mirror.pkgbuild.com

Debian aptvérifié · 92%
sudo apt install libsolv-dev

Debian stable package indexes · libsolv-dev · Source: deb.debian.org

openSUSE zyppervérifié · 92%
sudo zypper install libsolv-demo

openSUSE Tumbleweed package metadata · libsolv-demo · Source: download.opensuse.org

aperçu

Résumé du paquet

Library for solving packages and reading repositories

Commandes et alias

  • appdata2solv
  • archpkgs2solv
  • archrepo2solv
  • comps2solv
  • conda2solv
  • deb2solv
  • deltainfoxml2solv
  • dumpsolv
  • helix2solv
  • installcheck
  • mdk2solv
  • mergesolv
  • repo2solv
  • repomdxml2solv
  • rpmdb2solv
  • rpmmd2solv
  • rpms2solv
  • susetags2solv
  • testsolv
  • updateinfoxml2solv

historique

Historique du projet et usages

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.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

  • 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.

posture de sécurité

Niveau de risque : vert

library-like package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

  • library-like package without higher-risk signals

Signaux

  • metadata:library-like

Comportement d'installation

  • Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
  • Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
  • S’installe avec 3 dépendances d’exécution.
  • Les métadonnées de compilation listent 1 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

CommandeTypeExpositionNote
appdata2solvcliexécutable global
archpkgs2solvcliexécutable global
archrepo2solvcliexécutable global
comps2solvcliexécutable global
conda2solvcliexécutable global
deb2solvcliexécutable global
deltainfoxml2solvcliexécutable global
dumpsolvcliexécutable global
helix2solvcliexécutable global
installcheckcliexécutable global
mdk2solvcliexécutable global
mergesolvcliexécutable global
repo2solvcliexécutable global
repomdxml2solvcliexécutable global
rpmdb2solvcliexécutable global
rpmmd2solvcliexécutable global
rpms2solvcliexécutable global
susetags2solvcliexécutable global
testsolvcliexécutable global
updateinfoxml2solvcliexécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-10
version du gestionnaire0.7.39
gestionnaire mis à jour2026-05-28
données localesOK
amontà jour
dernière version détectée0.7.39

https://github.com/openSUSE/libsolv

  • OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:libsolv
Version0.7.39
Gestionnaire de paquetsHomebrew
Page du gestionnaire de paquetshttps://formulae.brew.sh/formula/libsolv
Page d'accueilhttps://github.com/openSUSE/libsolv
Dépôthttps://github.com/openSUSE/libsolv
Docs amonthttps://github.com/openSUSE/libsolv#readme
LicenceBSD-3-Clause
Archive sourcehttps://github.com/openSUSE/libsolv/archive/refs/tags/0.7.39.tar.gz
Dernière mise à jour2026-05-28T12:56:01Z
Pulseupdated
Dépendancesrpm, xz, zstd
Dépendances de compilationcmake
Bibliothèques fournies par macOSbzip2, expat
Bouteilledisponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namelibsolv
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Debian apt95%

libsolv-dev 0.7.32-1

dependency solver using a satisfiability algorithm (development files)

https://github.com/openSUSE/libsolv

sudo apt install libsolv-dev
  • Section: libdevel
  • Architecture: amd64
  • Source Package: libsolv
  • 2 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : Libsolv
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsolv-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libsolv-doc 0.7.32-1

dependency solver using a satisfiablility algorithm (documentation files)

https://github.com/openSUSE/libsolv

sudo apt install libsolv-doc
  • Section: doc
  • Architecture: all
  • Source Package: libsolv
  • normalized package name match
  • Correspondance par : Libsolv
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsolv-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libsolv-perl 0.7.32-1

dependency solver using a satisfiability algorithm (Perl bindings)

https://github.com/openSUSE/libsolv

sudo apt install libsolv-perl
  • Section: perl
  • Architecture: amd64
  • Source Package: libsolv
  • 5 Dépendances
  • normalized package name match
  • Correspondance par : Libsolv
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsolv-perl from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libsolv-tools 0.7.32-1

dependency solver using a satisfiability algorithm (command-line tools)

https://github.com/openSUSE/libsolv

sudo apt install libsolv-tools
  • Section: admin
  • Architecture: amd64
  • Source Package: libsolv
  • 4 Dépendances
  • normalized package name match
  • Correspondance par : Libsolv
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsolv-tools from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libsolv1 0.7.32-1

dependency solver using a satisfiability algorithm (shared library)

https://github.com/openSUSE/libsolv

sudo apt install libsolv1
  • Section: libs
  • Architecture: amd64
  • Source Package: libsolv
  • 1 Dépendances
  • normalized package name match
  • Correspondance par : Libsolv
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsolv1 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libsolvext-dev 0.7.32-1

dependency solver using a satisfiability algorithm (ext development files)

https://github.com/openSUSE/libsolv

sudo apt install libsolvext-dev
  • Section: libdevel
  • Architecture: amd64
  • Source Package: libsolv
  • 5 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : Libsolv
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsolvext-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libsolvext1 0.7.32-1

dependency solver using a satisfiability algorithm (extensions)

https://github.com/openSUSE/libsolv

sudo apt install libsolvext1
  • Section: libs
  • Architecture: amd64
  • Source Package: libsolv
  • 9 Dépendances
  • normalized package name match
  • Correspondance par : Libsolv
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libsolvext1 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

python3-solv 0.7.32-1

dependency solver using a satisfiability algorithm (Python3 bindings)

https://github.com/openSUSE/libsolv

sudo apt install python3-solv
  • Section: python
  • Architecture: amd64
  • Source Package: libsolv
  • 4 Dépendances
  • normalized package name match
  • Correspondance par : Libsolv
Debian stable package indexes · deb.debian.org · Debian stable package indexes: python3-solv from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

libsolv

nix profile install nixpkgs#libsolv
  • normalized package name match
  • Correspondance par : Libsolv
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/li/libsolv/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

libsolv-dev 0.7.28-1build2

dependency solver using a satisfiability algorithm (development files)

https://github.com/openSUSE/libsolv

sudo apt install libsolv-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: libsolv
  • 2 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : Libsolv
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsolv-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libsolv-doc 0.7.28-1build2

dependency solver using a satisfiablility algorithm (documentation files)

https://github.com/openSUSE/libsolv

sudo apt install libsolv-doc
  • Section: universe/doc
  • Architecture: all
  • Source Package: libsolv
  • normalized package name match
  • Correspondance par : Libsolv
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsolv-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libsolv-perl 0.7.28-1build2

dependency solver using a satisfiability algorithm (Perl bindings)

https://github.com/openSUSE/libsolv

sudo apt install libsolv-perl
  • Section: universe/perl
  • Architecture: amd64
  • Source Package: libsolv
  • 5 Dépendances
  • normalized package name match
  • Correspondance par : Libsolv
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsolv-perl from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libsolv-tools 0.7.28-1build2

dependency solver using a satisfiability algorithm (command-line tools)

https://github.com/openSUSE/libsolv

sudo apt install libsolv-tools
  • Section: universe/admin
  • Architecture: amd64
  • Source Package: libsolv
  • 4 Dépendances
  • normalized package name match
  • Correspondance par : Libsolv
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsolv-tools from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libsolv1 0.7.28-1build2

dependency solver using a satisfiability algorithm (shared library)

https://github.com/openSUSE/libsolv

sudo apt install libsolv1
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: libsolv
  • 1 Dépendances
  • normalized package name match
  • Correspondance par : Libsolv
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsolv1 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libsolvext-dev 0.7.28-1build2

dependency solver using a satisfiability algorithm (ext development files)

https://github.com/openSUSE/libsolv

sudo apt install libsolvext-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: libsolv
  • 1 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : Libsolv
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsolvext-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libsolvext1 0.7.28-1build2

dependency solver using a satisfiability algorithm (extensions)

https://github.com/openSUSE/libsolv

sudo apt install libsolvext1
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: libsolv
  • 9 Dépendances
  • normalized package name match
  • Correspondance par : Libsolv
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsolvext1 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment