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