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