cryptominisat 5.12.1-1
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | cryptominisat |
| 説明: | A modern, multi-threaded, feature-rich, simplifying SAT solver |
| 上流 URL: | https://github.com/msoos/cryptominisat/ |
| ライセンス: | MIT |
| パッケージ容量: | 921.4 KB |
| インストール容量: | 2.4 MB |
| パッケージ作成者: | Antonio Rojas |
| 最終更新: | 2025-02-11 17:22:39 JST |
依存パッケージ (14)
- gcc-libs
- glibc
- gmp
- zlib
- python (任意)
- cmake (ビルド)
- git (ビルド)
- help2man (ビルド)
- python-build (ビルド)
- python-installer (ビルド)
- python-setuptools (ビルド)
- python-tomli (ビルド)
- python-wheel (ビルド)
- vim (ビルド)