Name:           smtlib2-quickcheck
Version:        1.0
Author:         Henning Günther <guenther@forsyte.at>
Maintainer:     guenther@forsyte.at
Synopsis:       Helper functions to create SMTLib expressions in QuickCheck
Stability:      provisional
Category:       SMT, Formal Methods, Theorem Provers, Symbolic Computation
License:        GPL-3
License-File:   LICENSE
Build-Type:     Simple
Cabal-Version:  >=1.6

Source-Repository head
  Type:         git
  Location:     https://github.com/hguenther/smtlib2.git

Library
  Build-Depends: base >= 4 && < 5, containers, mtl, dependent-sum, dependent-map, smtlib2 >= 1.0 && < 1.1, QuickCheck
  Exposed-Modules:
    Language.SMTLib2.QuickCheck