Popularity
9.5
Stable
Activity
8.4
Declining
187
7
26

Monthly Downloads: 297
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