haskell-puresat 0.1-3
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | haskell-puresat |
| 説明: | Pure Haskell SAT-solver |
| 上流 URL: | https://github.com/phadej/puresat |
| ライセンス: | BSD-3-Clause |
| パッケージ容量: | 249.3 KB |
| インストール容量: | 1.3 MB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-10-16 08:06:56 JST |
依存パッケージ (10)
- ghc-libs
- haskell-optparse-applicative
- haskell-primitive
- ghc (ビルド)
- uusi (ビルド)
- haskell-minisat (ビルド)
- haskell-quickcheck (ビルド)
- haskell-tasty (ビルド)
- haskell-tasty-hunit (ビルド)
- haskell-tasty-quickcheck (ビルド)