python-pycosat 0.6.6-3
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | pycosat |
| 説明: | Python bindings to picosat (a SAT solver) |
| 上流 URL: | https://github.com/conda/pycosat |
| ライセンス: | MIT |
| パッケージ容量: | 54.9 KB |
| インストール容量: | 146.9 KB |
| パッケージ作成者: | Antonio Rojas |
| 最終更新: | 2024-11-17 03:52:54 JST |
依存パッケージ (7)
- glibc
- python
- git (ビルド)
- python-build (ビルド)
- python-installer (ビルド)
- python-setuptools (ビルド)
- python-wheel (ビルド)
python-pycosat を必要とするパッケージ (1)
- sagemath (任意)