Popularity
9.2
Declining
Activity
9.3
Declining
108
8
13

Monthly Downloads: 1,360
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Latest version: v8.8

sbv alternatives and similar packages

Based on the "Bit Vectors" category

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