haskell-sbv 8.3-26
| 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.2 MB |
| Last Packager: | Felix Yan |
| Last Updated: | 2019-09-13 08:23:54 JST |