Cabal revisions of Hsmtlib-2.8.8.8
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- 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+-- Initial Hsmtlib.cabal generated by cabal init. For further +-- documentation, see http://haskell.org/cabal/users-guide/ + +name: Hsmtlib +version: 2.8.8.8 +x-revision: 1 +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 Cvc4, MathSat, 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