Selected Tags

Click on a tag to remove it

Bit Vectors packages

Showing projects tagged as Math, Formal Methods, and Bit Vectors

  • sbv

    9.6 0.0 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

  • hz3

    9.1 0.0 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).