Name:           smtlib2-debug
Version:        1.0
Author:         Henning Günther <guenther@forsyte.at>
Maintainer:     guenther@forsyte.at
Synopsis:       Dump the communication with an SMT solver for debugging purposes.
Stability:      provisional
Category:       SMT, Formal Methods, Theorem Provers, Symbolic Computation
License:        GPL-3
License-File:   LICENSE
Build-Type:     Simple
Cabal-Version:  >=1.4

Library
  Build-Depends:        base >= 4 && < 5, smtlib2 >= 1.0 && < 1.1, smtlib2-pipe >= 1.0 && < 1.1,
                        ansi-terminal >= 0.5, atto-lisp, mtl,containers,text, dependent-map >= 0.2,
                        dependent-sum
  Extensions:		FlexibleContexts,TypeFamilies,GADTs,ExistentialQuantification,OverloadedStrings,DeriveDataTypeable,GeneralizedNewtypeDeriving,StandaloneDeriving,FlexibleInstances
  GHC-Options: -fwarn-unused-imports
  Exposed-Modules:
    Language.SMTLib2.Debug