z3 4.15.1-1
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | z3 |
| 説明: | 高性能な定理証明器 |
| 上流 URL: | https://github.com/Z3Prover/z3 |
| ライセンス: | MIT |
| 提供: | , |
| パッケージ容量: | 10.0 MB |
| インストール容量: | 40.0 MB |
| パッケージ作成者: | Antonio Rojas |
| 最終更新: | 2025-06-15 19:32:58 JST |
依存パッケージ (12)
- gcc-libs
- glibc
- cmake (ビルド)
- gcc-libs (ビルド)
- git (ビルド)
- glibc (ビルド)
- ninja (ビルド)
- python (ビルド)
- python-build (ビルド)
- python-installer (ビルド)
- python-setuptools (ビルド)
- python-wheel (ビルド)
z3 を必要とするパッケージ (9)
- cryptol
- prusa-slicer
- python-z3-solver
- haskell-what4 (任意)
- root (任意)
- root-cuda (任意)
- yosys (任意)
- root (ビルド)
- root-cuda (ビルド)