haskell-sbv 8.16-16

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.io/sbv
License(s):BSD
Package Size:5.3 MB
Installed Size:37.7 MB
Last Packager:Felix Yan
Last Updated:2021-10-23 00:16:27 JST