@hackage / smtlib2-quickcheck

Helper functions to create SMTLib expressions in QuickCheck

Latest1.0

Dependencies

library:smtlib2-quickcheck (7 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / smtlib2 A type-safe interface to communicate with an SMT solver.
- Version: >=1.0 && <1.1
- License: GPL-3.0-only
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / dependent-sum Dependent sum type
- Version:
- License: LicenseRef-PublicDomain
@hackage / dependent-map Dependent finite maps (partial dependent products)
- Version:
- License: BSD-3-Clause