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