Selected Tags

Click on a tag to remove it

Symbolic Computation packages

Showing projects tagged as Math, Formal Methods, and Symbolic Computation

  • sbv

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

  • what4

    9.4 0.0 Haskell
    Symbolic formula representation and solver interaction library

  • sbvPlugin

    8.1 0.0 Haskell
    Formally prove properties of Haskell programs using SBV/SMT.

  • smtlib2

    6.6 0.0 Haskell
    SMTLib2 interface implementation for Haskell