haskell-sbv 8.3-1
| 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.3 MB |
| Installed Size: | 27.1 MB |
| Last Packager: | Felix Yan |
| Last Updated: | 2019-06-14 19:47:57 JST |