stp 2.3.4-5
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | stp |
| 説明: | Simple Theorem Prover |
| 上流 URL: | https://stp.github.io/ |
| ライセンス: | MIT |
| パッケージ容量: | 1.1 MB |
| インストール容量: | 3.1 MB |
| パッケージ作成者: | George Hu |
| 最終更新: | 2025-10-15 23:05:13 JST |
依存パッケージ (9)
- boost-libs
- cryptominisat
- minisat
- boost (ビルド)
- cmake (ビルド)
- help2man (ビルド)
- ninja (ビルド)
- python (ビルド)
- python-setuptools (ビルド)