-- Initial SmtLib.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

-- The name of the package.
name:                SmtLib

-- The package version.  See the Haskell package versioning policy (PVP)
-- for standards guiding when and how versions should be incremented.
-- http://www.haskell.org/haskellwiki/Package_versioning_policy
-- PVP summary:      +-+------- breaking API changes
--                   | | +----- non-breaking API additions
--                   | | | +--- code changes with no API change
version:             0.1.0.0

-- A short (one-line) description of the package.
synopsis:            Library for parsing SMTLIB2

-- A longer description of the package.
-- description:

-- URL for the project homepage or repository.
homepage:            https://github.com/MfesGA/HsmtlibParser

-- The license under which the package is released.
license:             MIT

-- The file containing the license text.
license-file:        LICENSE

-- The package author(s).
author:              Roger

description: SMTLib2 syntax and parsers.


-- An email address to which users can send suggestions, bug reports, and
-- patches.
maintainer:          rogerp62@outlook.com

-- A copyright notice.
-- copyright:

category:            Formal Methods

build-type:          Simple

-- Constraint on the version of Cabal needed to build this package.
cabal-version:       >=1.10


library
  -- Modules exported by the library.
  exposed-modules:     Smtlib.Parsers.CommonParsers,
                       Smtlib.Parsers.ResponseParsers,
                       Smtlib.Parsers.CommandsParsers,
                       Smtlib.Syntax.Syntax,
                       Smtlib.Syntax.ShowSL

  -- Modules included in this library but not exported.
  -- other-modules:

  -- Other library packages from which modules are imported.
  build-depends:       base >= 4.6 && < 4.8
                       , parsec ==3.1.*
                       , transformers ==0.4.*

  default-language: Haskell2010
  -- Directories containing source files.
  -- hs-source-dirs:      Smtlib


source-repository head
  
  type: git
  location: https://github.com/MfesGA/HsmtlibParser