Popularity

9.5

Stable

Activity

8.4

Declining

Stars 187

Watchers 7

Forks 26

Last Commit about 1 month ago

Monthly Downloads: 297

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Math Theorem Provers Utils Bit Vectors Formal Methods Symbolic Computation SMT

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.

hw-bits

5.1 3.1 sbv VS hw-bits

Bit manipulation
bit-array

5.0 0.0 sbv VS bit-array

A bit array (aka bitset, bitmap, bit vector) API for numeric types

Clean code begins in your IDE with SonarLint

Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

Promo www.sonarlint.org