@hackage / sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT

Latest9.14.1

Dependencies

library:sbvPlugin (7 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.19 && <5
- License: BSD-3-Clause
@hackage / ghc-prim GHC primitives
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / ghc The GHC API
- Version: >=9.14.1
- License: BSD-3-Clause
@hackage / sbv SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
- Version: >=13.4
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause

test:sbvPluginTests (7 dependencies)