Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Symbolic Computation packages

Showing projects tagged as Math and Symbolic Computation

  • sbv

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

    9.4 7.5 Haskell
    Symbolic formula representation and solver interaction library
  • symengine

    8.3 0.0 Haskell
    Haskell bindings to SymEngine
  • sbvPlugin

    8.2 6.1 Haskell
    Formally prove properties of Haskell programs using SBV/SMT.
  • smtlib2

    7.0 0.0 Haskell
    SMTLib2 interface implementation for Haskell
  • symengine-hs

    - -
    DISCONTINUED. SymEngine symbolic mathematics engine for Haskell