haskell-minisat 0.1.3-4
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | haskell-minisat |
| 説明: | A Haskell bundle of the Minisat SAT solver |
| 上流 URL: | https://github.com/jbransen/minisat-bundle |
| ライセンス: | BSD-3-Clause |
| パッケージ容量: | 75.2 KB |
| インストール容量: | 292.9 KB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-10-16 07:13:58 JST |
依存パッケージ (4)
- ghc-libs
- haskell-async
- ghc (ビルド)
- uusi (ビルド)
haskell-minisat を必要とするパッケージ (1)
- haskell-puresat (ビルド)