pkg.soopen package index

brew / 順位 6732

yices2 を Homebrew, apk, dnf, MacPorts, Nix, pacman でインストール

yices2 のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install yices2

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install yices

MacPorts ports tree · math/yices/Portfile · ソース: api.github.com

Linux

Alpine Linux apk確認済み · 92%
sudo apk add yices2

Alpine Linux edge package indexes · yices2 · ソース: dl-cdn.alpinelinux.org

Fedora dnf確認済み · 92%
sudo dnf install yices

Fedora Rawhide package metadata · yices · ソース: dl.fedoraproject.org

Nix確認済み · 92%
nix profile install nixpkgs#yices

nixpkgs package indexes · pkgs/by-name/yi/yices/package.nix · ソース: api.github.com

Arch Linux pacman確認済み · 92%
sudo pacman -S yices

Arch Linux sync databases · yices · ソース: geo.mirror.pkgbuild.com

概要

パッケージ概要

Yices SMT Solver

コマンドとエイリアス

  • yices
  • yices-sat
  • yices-smt
  • yices-smt2

履歴

プロジェクトの歴史と使われ方

Yices 2 is SRI International's open-source SMT solver for satisfiability modulo theories. It supports SMT-LIB input, its own Yices language, a C API, and language bindings for Java, Python, Go, and OCaml.

プロジェクトの歴史

Yices comes from SRI International's Computer Science Laboratory and the formal-methods lineage around Bruno Dutertre and collaborators. The Yices web site says Yices 2 decides formulas over uninterpreted functions with equality, real and integer arithmetic, bitvectors, scalar types, and tuples, including linear and nonlinear arithmetic.

The documentation page anchors Yices 2 in the SMT research literature: the Yices 2.2 tool paper was presented at CAV 2014, while related technical background includes SMT tutorials, arithmetic-solver papers, MCSAT work, and applications to exists/forall problems and synthesis.

The GitHub repository was created in November 2014 and contains source, documentation, tests, and examples. Later release notes show continuing solver work: unsat cores and SMT-LIB 2.5 support in 2.6.0, bit-vector support and optional SAT backends in 2.6.2, interpolation and Kissat backend support in 2.6.4, arrays and thread-safety work in 2.6.5, and finite-field support in 2.7.0.

採用の歴史

Yices 2 is adopted in the formal-methods and verification world rather than as an end-user desktop CLI. Its official site documents installation with Homebrew on macOS and apt on Debian/Ubuntu via SRI's formal-methods PPA, and the repository provides examples plus multiple language bindings for embedding.

For package managers, Yices 2 matters because it is both a command suite and a native library. The README distinguishes executables, dynamic library, headers, source builds, optional MC-SAT support, and optional thread-safety builds.

使われ方

Typical CLI usage feeds SMT-LIB files to yices-smt2 and asks for satisfiability and models. The README includes examples for linear real arithmetic, bit-vectors, and nonlinear real arithmetic, all producing sat models.

Advanced users can embed the C API or use language bindings, build documentation, enable MC-SAT for nonlinear arithmetic and theory combination, run a portfolio script over hard SMT2 problems, or build a thread-safe library configuration when separate contexts are used per thread.

パッケージ好きにとっての重要性

Yices 2 is a heavyweight scientific package with a deceptively small command-line surface. Package maintainers care about it because optional solver backends, headers, libraries, bindings, documentation, and platform binaries all affect whether downstream verification tools can rely on the installed package.

It also illustrates a common formal-methods packaging pattern: research-grade solver, command-line frontends, C library, SMT-LIB compatibility, and cross-language bindings all distributed from one upstream.

タイムライン

  • 2006: SRI-related linear-arithmetic solver papers form part of the technical background documented by Yices.
  • 2014: Yices 2.2 tool paper presented at CAV and the public yices2 GitHub repository created.
  • 2017-08: Yices 2.5.3 release synchronized with Debian packages.
  • 2018-06: Yices 2.6.0 adds unsat cores and improved SMT-LIB 2.5 support.
  • 2020-04: Yices 2.6.2 adds bit-vector support in MCSAT and optional SAT backends.
  • 2021-10: Yices 2.6.4 stable release published.
  • 2024-06: Yices 2.6.5 adds arrays support in MCSAT and thread-safety work.
  • 2025-07: Yices 2.7.0 adds finite-field support and MCSAT improvements.

Related projects

  • SMT-LIB: standard input language supported by Yices 2.
  • libpoly and CUDD: optional dependencies documented for MC-SAT builds.
  • CaDiCaL, CryptoMiniSAT, and Kissat: optional SAT backend families mentioned in release notes.
  • SRI formal-methods tools: adjacent tools distributed by SRI's Computer Science Laboratory.

ソース

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
yices実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
yices-sat実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
yices-smt実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
yices-smt2実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-08-03
マネージャ版2.7.0
マネージャ更新日2026-06-24
ローカルデータ不明
上流利用不可
検出された最新未検出
  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:yices2
バージョン2.7.0
パッケージマネージャHomebrew
ホームページhttps://yices.csl.sri.com/
リポジトリhttps://github.com/SRI-CSL/yices2
最終更新2026-06-24T17:21:57-04:00
Pulseupdated
Bottle未記録
サービス宣言なし

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

apk95%

yices2 2.6.5-r0

Solver for Satisfiability Modulo Theories (SMT) problems

https://github.com/SRI-CSL/yices2

sudo apk add yices2
  • License: GPL-3.0-or-later
  • Architecture: x86_64
  • Source Package: yices2
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Yices2
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: yices2 from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz
apk95%

yices2-dev 2.6.5-r0

Solver for Satisfiability Modulo Theories (SMT) problems (development files)

https://github.com/SRI-CSL/yices2

sudo apk add yices2-dev
  • License: GPL-3.0-or-later
  • Architecture: x86_64
  • Source Package: yices2
  • 1 依存関係
  • normalized package name match
  • 一致条件: Yices2
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: yices2-dev from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz
apk95%

yices2-libs 2.6.5-r0

Solver for Satisfiability Modulo Theories (SMT) problems (libraries)

https://github.com/SRI-CSL/yices2

sudo apk add yices2-libs
  • License: GPL-3.0-or-later
  • Architecture: x86_64
  • Source Package: yices2
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Yices2
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: yices2-libs from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz
MacPorts94%

yices

sudo port install yices
  • installed executable or alias match
  • 一致条件: Yices
MacPorts ports tree · api.github.com · MacPorts ports tree: math/yices/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
Nix92%

yices

nix profile install nixpkgs#yices
  • installed executable or alias match
  • 一致条件: Yices
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/yi/yices/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
dnf92%

yices 2.7.0-10.fc45

SMT solver

http://yices.csl.sri.com/

sudo dnf install yices
  • License: GPL-3.0-or-later AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: yices
  • 8 依存関係
  • 3 提供
  • installed executable or alias match
  • 一致条件: Yices
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: yices from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf92%

yices-devel 2.7.0-10.fc45

Development files for yices

http://yices.csl.sri.com/

sudo dnf install yices-devel
  • License: GPL-3.0-or-later AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: yices
  • 3 依存関係
  • 1 提供
  • installed executable or alias match
  • 一致条件: Yices
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: yices-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf92%

yices-doc 2.7.0-10.fc45

Documentation for yices

http://yices.csl.sri.com/

sudo dnf install yices-doc
  • License: GPL-3.0-or-later AND BSD-2-Clause AND MIT AND OFL-1.1-RFN AND Knuth-CTAN AND LPPL-1.3a AND AGPL-3.0-only
  • Category: Unspecified
  • Architecture: noarch
  • Source Package: yices
  • 1 提供
  • installed executable or alias match
  • 一致条件: Yices
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: yices-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf92%

yices-tools 2.7.0-10.fc45

Command line tools that use the yices library

http://yices.csl.sri.com/

sudo dnf install yices-tools
  • License: GPL-3.0-or-later AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: yices
  • 9 依存関係
  • 1 提供
  • installed executable or alias match
  • 一致条件: Yices
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: yices-tools from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
pacman92%

yices 2.7.0-1

A solver for Satisfiability Modulo Theories (SMT) problems

https://yices.csl.sri.com/

sudo pacman -S yices
  • License: GPL-3.0-or-later
  • Architecture: x86_64
  • 3 依存関係
  • installed executable or alias match
  • 一致条件: Yices
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: yices from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

エージェント安全ガイド

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation