haskell-sbv 8.6-91
| 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: | 27.4 MB |
| Last Packager: | Felix Yan |
| Last Updated: | 2020-06-04 17:39:05 JST |