The horname package

[Tags:bsd3, library, program]

Please see README.md


[Skip to Readme]

Properties

Versions 0.1.0.0, 0.1.1.0, 0.1.2.0, 0.1.3.0
Dependencies base (>=4.9 && <5), containers (==0.5.*), horname, megaparsec (>=5.0 && <5.3), optparse-applicative (>=0.12 && <0.14), text (==1.2.*), these (==0.7.*), uniplate (==1.6.*), wl-pprint-text (==1.1.*) [details]
License BSD3
Copyright (C) 2016 Moritz Kiefer
Author Moritz Kiefer
Maintainer value
Category Web
Home page https://github.com/cocreature/horname#readme
Uploaded Tue Dec 20 20:17:28 UTC 2016 by cocreature
Updated Mon Feb 13 19:37:44 UTC 2017 by cocreature to revision 1
Distributions NixOS:0.1.3.0
Downloads 90 total (4 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-12-20 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for horname

Readme for horname-0.1.3.0

horname

Build Status

Parses define-fun clauses output by SMT solvers and renames the variables according to annotations of the form

; :annot (INV_MAIN_42 i j n i j)

in the original SMT. The SMT-LIB standard itself does not allow naming arguments in a function declaration.