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