python-z3-solver 4.15.1-1
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | z3 |
| 説明: | 高性能な定理証明器 |
| 上流 URL: | https://github.com/Z3Prover/z3 |
| ライセンス: | MIT |
| 置換パッケージ: | |
| 衝突パッケージ: | |
| パッケージ容量: | 275.6 KB |
| インストール容量: | 2.6 MB |
| パッケージ作成者: | Antonio Rojas |
| 最終更新: | 2025-06-15 19:32:58 JST |
依存パッケージ (13)
- python
- python-setuptools
- z3
- cmake (ビルド)
- gcc-libs (ビルド)
- git (ビルド)
- glibc (ビルド)
- ninja (ビルド)
- python (ビルド)
- python-build (ビルド)
- python-installer (ビルド)
- python-setuptools (ビルド)
- python-wheel (ビルド)