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

-- The name of the package.
name:                Hsmtlib

-- 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.2.0.6

-- A short (one-line) description of the package.
synopsis:            Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

-- A longer description of the package.
description:         
  Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2.

  The current suported solvers are Alt-Ergo, Cvc4, MathSat, Yices, Z3.
  Additional solvers can be used if they are SMT-LIB 2 compliant. 

  More information and tutorials can be found in <https://github.com/MfesGA/Hsmtlib>

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

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

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

-- The package author(s).
author:              Nuno Laranjo and Rogerio Pontes

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

-- A copyright notice.
-- copyright:           

category:            SMT          

build-type:          Simple

-- Extra files to be distributed with the package, such as examples or a 
-- README.
-- extra-source-files:  

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


library
  -- Modules exported by the library.
  exposed-modules:     Hsmtlib, Hsmtlib.Solver, Hsmtlib.HighLevel, Hsmtlib.Solvers.Z3, Hsmtlib.Solvers.Yices, Hsmtlib.Solvers.MathSAT, Hsmtlib.Solvers.Cvc4, Hsmtlib.Solvers.Boolector, Hsmtlib.Solvers.Altergo, Hsmtlib.Solvers.Cmd.ScriptCmd, Hsmtlib.Solvers.Cmd.OnlineCmd, Hsmtlib.Solvers.Cmd.BatchCmd, Hsmtlib.Solvers.Cmd.ProcCom.Process, Hsmtlib.Solvers.Cmd.Parser.Visualizers, Hsmtlib.Solvers.Cmd.Parser.Syntax, Hsmtlib.Solvers.Cmd.Parser.Parsers, Hsmtlib.Solvers.Cmd.Parser.CmdResult
  
  -- Modules included in this library but not exported.
  -- other-modules:       
  
  -- LANGUAGE extensions used by modules in this package.
  -- other-extensions:    
  
  -- Other library packages from which modules are imported.
  build-depends:       base >=4.6 && <= 4.7, smtLib >=1.0 && <1.1, containers >=0.5 && <0.6, pretty >=1.1 && <1.2, process >=1.1 && <= 1.2 , transformers >=0.3 && <0.4, parsec >=3.1 && <3.2
  
  -- Directories containing source files.
  -- hs-source-dirs:      
  
  -- Base language which the package is written in.
  default-language:    Haskell2010