Haskell Symbolic Computation packages

• « All Tags

Selected Tags

• Symbolic Computation

More Tags

• Math
  6
• Formal Methods
  4
• SMT
  4
• Theorem Provers
  4
• FFI
  3
• Symengine
  2

Symbolic Computation packages

Showing projects tagged as Symbolic Computation

• sbv

  9.6 9.3 Haskell

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

• what4

  9.4 6.9 Haskell

  Symbolic formula representation and solver interaction library
  

• symengine

  8.3 0.0 Haskell

  Haskell bindings to SymEngine
  

• sbvPlugin

  8.2 6.3 Haskell

  Formally prove properties of Haskell programs using SBV/SMT.

• smtlib2

  6.7 0.0 Haskell

  SMTLib2 interface implementation for Haskell

• clingo

  5.9 0.0 Haskell

  Haskell bindings to the clingo C API

• symengine-hs

  - -

  SymEngine symbolic mathematics engine for Haskell