Name:           smtlib2
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.6
Extra-Source-Files:
  README.org

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

Library
  Build-Depends: base >= 4 && < 5, constraints, mtl, containers, template-haskell, dependent-sum, dependent-map
  Extensions:
             GADTs
             FlexibleContexts
             FlexibleInstances
             ExistentialQuantification
             KindSignatures
             DataKinds
             TypeFamilies
             TypeOperators
             MultiParamTypeClasses
             ScopedTypeVariables
             RankNTypes
             UndecidableInstances
             GeneralizedNewtypeDeriving
             DeriveDataTypeable
             CPP
             PolyKinds
             StandaloneDeriving
             EmptyDataDecls
             PatternSynonyms
             ViewPatterns
             TemplateHaskell
             QuasiQuotes
  GHC-Options: -fwarn-unused-imports -fprint-explicit-kinds
  Exposed-Modules:
                  Language.SMTLib2.Internals.Backend
                  Language.SMTLib2.Internals.Embed
                  Language.SMTLib2.Internals.Expression
                  Language.SMTLib2.Internals.Monad
                  Language.SMTLib2.Internals.Type
                  Language.SMTLib2.Internals.Type.Nat
                  Language.SMTLib2.Internals.Type.List
                  Language.SMTLib2.Internals.Type.Struct
                  Language.SMTLib2.Strategy
                  Language.SMTLib2
                  Language.SMTLib2.Internals.Evaluate
                  Language.SMTLib2.Internals.Interface
                  Language.SMTLib2.Internals.Proof
                  Language.SMTLib2.Internals.Proof.Verify