Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

SMT packages

Showing projects tagged as Theorem Provers and SMT

  • sbv

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

  • what4

    9.4 6.3 Haskell
    Symbolic formula representation and solver interaction library

  • toysolver

    9.3 0.0 Haskell
    My sandbox for experimenting with solver algorithms.

  • hz3

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

  • sbvPlugin

    8.2 5.2 Haskell
    Formally prove properties of Haskell programs using SBV/SMT.

  • smtlib2

    6.8 0.0 Haskell
    SMTLib2 interface implementation for Haskell