haskell-sbv 8.5-10
| Architecture: | x86_64 |
|---|---|
| Repository: | community |
| Base Package: | haskell-sbv |
| Description: | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving |
| Upstream URL: | https://leventerkok.github.com/sbv |
| License(s): | BSD |
| Package Size: | 3.9 MB |
| Installed Size: | 29.1 MB |
| Last Packager: | Felix Yan |
| Last Updated: | 2020-01-05 12:54:43 JST |