hackage.haskell.org "sbv" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "sbv" keyword.
sbvPlugin 9.12.1
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...20 versions - Latest release: 5 months ago - 1 dependent repositories - 6.68 thousand downloads total - 45 stars on GitHub - 1 maintainer