Name:           smtlib2-pipe
Version:        1.0
Author:         Henning Günther <guenther@forsyte.at>
Maintainer:     guenther@forsyte.at
Synopsis:       A type-safe interface to communicate with an SMT solver.
Stability:      provisional
Category:       SMT, Formal Methods, Theorem Provers, Symbolic Computation
License:        GPL-3
License-File:   LICENSE
Build-Type:     Simple
Cabal-Version:  >=1.8

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

Library
  Build-Depends: smtlib2 >= 1.0 && < 1.1, base >=4 && <5, text, containers, process, atto-lisp >=0.2, attoparsec, mtl, bytestring, blaze-builder, dependent-sum, transformers
  Extensions: GADTs,FlexibleContexts,FlexibleInstances,ExistentialQuantification,KindSignatures,DataKinds,TypeFamilies,AllowAmbiguousTypes,TypeOperators,MultiParamTypeClasses,OverloadedStrings,ScopedTypeVariables,RankNTypes,GeneralizedNewtypeDeriving,ViewPatterns,CPP,StandaloneDeriving,DeriveDataTypeable
  GHC-Options: -fwarn-unused-imports
  Exposed-Modules:
    Language.SMTLib2.Pipe
    Language.SMTLib2.Pipe.Internals

Test-Suite test-smtlib2-pipe
  Type: detailed-0.9
  Test-Module: PipeTest
  Hs-Source-Dirs: test
  Build-Depends: base >=4 && <5, smtlib2, smtlib2-pipe==1.0, smtlib2-quickcheck >= 1.0 && < 1.1, Cabal, cabal-test-quickcheck