@hackage smtlib2-quickcheck dependencies
7 results
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/base
Core data structures and operations
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/smtlib2
A type-safe interface to communicate with an SMT solver.
@hackage/containers
Assorted concrete container types
@hackage/dependent-sum
Dependent sum type
@hackage/dependent-map
Dependent finite maps (partial dependent products)