macOS
Homebrew確認済み · 100%
brew install libsolvlocal Homebrew formula metadata
MacPorts確認済み · 94%
sudo port install libsolvMacPorts ports tree · devel/libsolv/Portfile · ソース: api.github.com
brew
libsolv を Homebrew, dnf, MacPorts, Nix, pacman, apt, zypper でインストール
libsolv のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Fedora dnf確認済み · 92%
sudo dnf install libsolvFedora Rawhide package metadata · libsolv · ソース: dl.fedoraproject.org
Nix確認済み · 92%
nix profile install nixpkgs#libsolvnixpkgs package indexes · pkgs/by-name/li/libsolv/package.nix · ソース: api.github.com
Arch Linux pacman確認済み · 92%
sudo pacman -S libsolvArch Linux sync databases · libsolv · ソース: geo.mirror.pkgbuild.com
Debian apt確認済み · 92%
sudo apt install libsolv-devDebian stable package indexes · libsolv-dev · ソース: deb.debian.org
openSUSE zypper確認済み · 92%
sudo zypper install libsolv-demoopenSUSE Tumbleweed package metadata · libsolv-demo · ソース: download.opensuse.org
概要
パッケージ概要
Library for solving packages and reading repositories
プロジェクトリンク
コマンドとエイリアス
- appdata2solv
- archpkgs2solv
- archrepo2solv
- comps2solv
- conda2solv
- deb2solv
- deltainfoxml2solv
- dumpsolv
- helix2solv
- installcheck
- mdk2solv
- mergesolv
- repo2solv
- repomdxml2solv
- rpmdb2solv
- rpmmd2solv
- rpms2solv
- susetags2solv
- testsolv
- updateinfoxml2solv
履歴
プロジェクトの歴史と使われ方
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.
プロジェクトの歴史
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.
採用の歴史
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.
使われ方
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.
パッケージ好きにとっての重要性
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.
タイムライン
- 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.
ソース
セキュリティ状態
リスクレベル: グリーン
library-like package without higher-risk signals.
リスク分類器
リスク グリーン · 信頼度 低 · appliance
理由
- library-like package without higher-risk signals
信号
- metadata:library-like
インストール挙動
- formula メタデータに Homebrew post-install フックは記録されていません。
- Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
- 3 件の実行時依存関係とともにインストールされます。
- ビルドメタデータには 1 件のビルド依存関係があります。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
appdata2solv | cli | グローバル実行可能ファイル | |
archpkgs2solv | cli | グローバル実行可能ファイル | |
archrepo2solv | cli | グローバル実行可能ファイル | |
comps2solv | cli | グローバル実行可能ファイル | |
conda2solv | cli | グローバル実行可能ファイル | |
deb2solv | cli | グローバル実行可能ファイル | |
deltainfoxml2solv | cli | グローバル実行可能ファイル | |
dumpsolv | cli | グローバル実行可能ファイル | |
helix2solv | cli | グローバル実行可能ファイル | |
installcheck | cli | グローバル実行可能ファイル | |
mdk2solv | cli | グローバル実行可能ファイル | |
mergesolv | cli | グローバル実行可能ファイル | |
repo2solv | cli | グローバル実行可能ファイル | |
repomdxml2solv | cli | グローバル実行可能ファイル | |
rpmdb2solv | cli | グローバル実行可能ファイル | |
rpmmd2solv | cli | グローバル実行可能ファイル | |
rpms2solv | cli | グローバル実行可能ファイル | |
susetags2solv | cli | グローバル実行可能ファイル | |
testsolv | cli | グローバル実行可能ファイル | |
updateinfoxml2solv | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-07-10
マネージャ版0.7.39
マネージャ更新日2026-05-28
ローカルデータOK
上流最新
検出された最新0.7.39
https://github.com/openSUSE/libsolv
- OK鮮度警告は生成されていません。
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:libsolv |
|---|---|
| バージョン | 0.7.39 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/libsolv |
| ホームページ | https://github.com/openSUSE/libsolv |
| リポジトリ | https://github.com/openSUSE/libsolv |
| 上流ドキュメント | https://github.com/openSUSE/libsolv#readme |
| ライセンス | BSD-3-Clause |
| ソースアーカイブ | https://github.com/openSUSE/libsolv/archive/refs/tags/0.7.39.tar.gz |
| 最終更新 | 2026-05-28T12:56:01Z |
| Pulse | updated |
| 依存関係 | rpm, xz, zstd |
| ビルド依存関係 | cmake |
| macOS 提供ライブラリ | bzip2, expat |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | libsolv |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
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 依存関係
- 1 提供
- normalized package name match
- 一致条件: Libsolv
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
- 一致条件: Libsolv
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 依存関係
- normalized package name match
- 一致条件: Libsolv
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 依存関係
- normalized package name match
- 一致条件: Libsolv
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 依存関係
- normalized package name match
- 一致条件: Libsolv
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 依存関係
- 1 提供
- normalized package name match
- 一致条件: Libsolv
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 依存関係
- normalized package name match
- 一致条件: Libsolv
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 依存関係
- normalized package name match
- 一致条件: Libsolv
Nix95%
libsolv
nix profile install nixpkgs#libsolv- normalized package name match
- 一致条件: Libsolv
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 依存関係
- 1 提供
- normalized package name match
- 一致条件: Libsolv
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
- 一致条件: Libsolv
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 依存関係
- normalized package name match
- 一致条件: Libsolv
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 依存関係
- normalized package name match
- 一致条件: Libsolv
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 依存関係
- normalized package name match
- 一致条件: Libsolv
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 依存関係
- 1 提供
- normalized package name match
- 一致条件: Libsolv
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 依存関係
- normalized package name match
- 一致条件: Libsolv
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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