Popularity
9.4
Stable
Activity
9.4
Declining
149
6
19

Monthly Downloads: 515
Programming language: Haskell
License: GNU General Public License v3.0 or later
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