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 SMT

  • sbv

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

    9.4 8.5 Haskell
    Symbolic formula representation and solver interaction library
  • toysolver

    9.3 4.3 Haskell
    My sandbox for experimenting with solver algorithms.
  • hz3

    9.0 3.9 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).
  • sbvPlugin

    8.1 6.0 Haskell
    Formally prove properties of Haskell programs using SBV/SMT.
  • smtlib2

    7.0 0.0 Haskell
    SMTLib2 interface implementation for Haskell
  • linearEqSolver

    5.7 0.0 Haskell
    Solve systems of linear equations, using SMT solvers.
  • Hsmtlib

    5.5 0.0 Haskell
    Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
  • smt2-parser

    2.0 0.0 Haskell
    Parse smt2 in Haskell