@hackage sbvPlugin dependencies

14 results

Support library for Template Haskell

Monad classes for transformers, using functional dependencies

GHC primitives

Assorted concrete container types

Basic libraries

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

The GHC API

Process libraries

Library for manipulating FilePaths in a cross platform way.

Platform-agnostic library for filesystem operations

Basic libraries

Golden tests support for tasty

Modern and extensible testing framework

Formally prove properties of Haskell programs using SBV/SMT