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.
-
bit-array
A bit array (aka bitset, bitmap, bit vector) API for numeric types
Less time debugging, more time building
Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
Promo
scoutapm.com
Do you think we are missing an alternative of sbv or a related project?
Popular Comparisons
README
SBV: SMT Based Verification in Haskell
On Hackage: http://hackage.haskell.org/package/sbv
Please see: http://leventerkok.github.io/sbv/