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

name:                Hsmtlib
version:             2.8.8.8
synopsis:            Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
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>
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

author:              Nuno Laranjo And Rogério Pontes
maintainer:          numicola@gmail.com and rogerp062@gmail.com
-- copyright:           
category:            SMT          

build-type:          Simple
-- extra-source-files:  
cabal-version:       >=1.10

library
  exposed-modules:     Hsmtlib, Hsmtlib.Solver, Hsmtlib.HighLevel, Hsmtlib.Parsers.ParseResponse, Hsmtlib.Parsers.Visualizer, Hsmtlib.Parsers.ParseScript, Hsmtlib.Parsers.Syntax, Hsmtlib.Parsers.AuxParser, Hsmtlib.Solvers.Boolector, Hsmtlib.Solvers.Cvc4, Hsmtlib.Solvers.Altergo, Hsmtlib.Solvers.Z3, Hsmtlib.Solvers.Yices, Hsmtlib.Solvers.MathSAT, Hsmtlib.Solvers.Cmd.BatchCmd, Hsmtlib.Solvers.Cmd.ResultHelpers, Hsmtlib.Solvers.Cmd.CmdResult, Hsmtlib.Solvers.Cmd.OnlineCmd, Hsmtlib.Solvers.Cmd.ScriptCmd, Hsmtlib.Solvers.Cmd.ProcCom.Process
  -- other-modules:       
  -- other-extensions:    
  build-depends:       base >=4.7 && <4.8, containers >=0.5 && <0.6, smtLib >=1.0 && <1.1, transformers >=0.4 && <0.5, parsec >=3.1 && <3.2, pretty >=1.1 && <1.2, process >=1.2 && <1.3
  -- hs-source-dirs:      
  default-language:    Haskell2010