haskell-sbv 10.2-72
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | haskell-sbv |
| 説明: | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving |
| 上流 URL: | https://leventerkok.github.io/sbv |
| ライセンス: | BSD |
| パッケージ容量: | 4.7 MB |
| インストール容量: | 32.8 MB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-12-01 05:15:59 JST |