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.8 9.7 Haskell
    SMT Based Verification
  • toysolver

    9.1 7.8 Haskell
    Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
  • hz3

    8.4 4.1 Haskell
    Bindings for the Z3 Theorem Prover
  • sbvPlugin

    7.7 6.4 Haskell
    Formally prove properties of Haskell programs using SBV/SMT
  • smtlib2

    6.6 0.0 Haskell
    A type-safe interface to communicate with an SMT solver.
  • linearEqSolver

    5.9 0.0 Haskell
    Use SMT solvers to solve linear systems over integers and rationals
  • Hsmtlib

    5.3 0.0 Haskell
    Haskell library for easy interaction with SMT-LIB 2 compliant solvers.