Popularity
9.5
Growing
Activity
9.2
Declining
169
7
24

Monthly Downloads: 249
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Latest version: v8.14

sbv alternatives and similar packages

Based on the "Bit Vectors" category.
Alternatively, view sbv alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of sbv or a related project?

Add another 'Bit Vectors' Package

README

SBV: SMT Based Verification in Haskell

On Hackage: http://hackage.haskell.org/package/sbv

Please see: http://leventerkok.github.io/sbv/

Build Status

  • Linux:
    • GHC 8.10.2 Build1
    • GHC 8.8.4 Build1
  • Mac OSX:
    • GHC 8.10.2 Build1
  • Windows:
    • GHC 8.10.1 Build5