The Hsmtlib package

[ Tags: bsd3, library, smt ] [ Propose Tags ]

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

Properties

Versions 0.2.0.6, 2.8.8.8
Dependencies base (==4.7.*), containers (==0.5.*), parsec (==3.1.*), pretty (==1.1.*), process (==1.2.*), smtLib (==1.0.*), transformers (==0.4.*) [details]
License BSD3
Author Nuno Laranjo And Rogério Pontes
Maintainer numicola@gmail.com and rogerp062@gmail.com
Category SMT
Home page https://github.com/MfesGA/Hsmtlib
Uploaded Wed Jul 2 23:01:20 UTC 2014 by roger62
Updated Fri Jul 18 16:26:56 UTC 2014 by roger62 to revision 1
Distributions NixOS:2.8.8.8
Downloads 635 total (3 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-05-18 [all 9 reports]
Hackage Matrix CI

Modules

  • Hsmtlib
    • Hsmtlib.HighLevel
    • Parsers
      • Hsmtlib.Parsers.AuxParser
      • Hsmtlib.Parsers.ParseResponse
      • Hsmtlib.Parsers.ParseScript
      • Hsmtlib.Parsers.Syntax
      • Hsmtlib.Parsers.Visualizer
    • Hsmtlib.Solver
    • Solvers
      • Hsmtlib.Solvers.Altergo
      • Hsmtlib.Solvers.Boolector
      • Cmd
        • Hsmtlib.Solvers.Cmd.BatchCmd
        • Hsmtlib.Solvers.Cmd.CmdResult
        • Hsmtlib.Solvers.Cmd.OnlineCmd
        • ProcCom
          • Hsmtlib.Solvers.Cmd.ProcCom.Process
        • Hsmtlib.Solvers.Cmd.ResultHelpers
        • Hsmtlib.Solvers.Cmd.ScriptCmd
      • Hsmtlib.Solvers.Cvc4
      • Hsmtlib.Solvers.MathSAT
      • Hsmtlib.Solvers.Yices
      • Hsmtlib.Solvers.Z3

Downloads

Maintainer's Corner

For package maintainers and hackage trustees