SmtLib: Library for parsing SMTLIB2

[ formal-methods, library, mit ] [ Propose Tags ] [ Report a vulnerability ]

SMTLib2 syntax and parsers.

Modules

Smtlib
- Parsers
- Syntax
  - Smtlib.Syntax.ShowSL
  - Smtlib.Syntax.Syntax

Downloads

SmtLib-0.1.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

roger62

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.0.0
Dependencies	base (>=4.6 && <4.8), parsec (>=3.1 && <3.2), transformers (>=0.4 && <0.5) [details]
License	MIT
Author	Roger
Maintainer	rogerp62@outlook.com
Category	Formal Methods
Home page	https://github.com/MfesGA/HsmtlibParser
Source repo	head: git clone https://github.com/MfesGA/HsmtlibParser
Uploaded	by roger62 at 2015-02-22T16:22:31Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	1227 total (1 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2015-02-22 [all 1 reports]