Selected Tags

Click on a tag to remove it

Symbolic Computation packages

Showing projects tagged as SMT and Symbolic Computation

  • sbv

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