horname: Rename function definitions returned by SMT solvers

[ bsd3, library, program, web ] [ Propose Tags ]

Please see README.md


[Skip to Readme]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.2.0.0
Dependencies base (>=4.9 && <5), containers (>=0.6 && <0.7), horname, megaparsec (>=7 && <8), optparse-applicative (>=0.14 && <0.15), text (>=1.2 && <1.3), these (>=0.7 && <0.8), uniplate (>=1.6 && <1.7), wl-pprint-text (>=1.2 && <1.3) [details]
License BSD-3-Clause
Copyright (C) 2016 Moritz Kiefer
Author Moritz Kiefer
Maintainer value
Category Web
Home page https://github.com/cocreature/horname#readme
Uploaded by cocreature at 2019-07-14T15:50:07Z
Distributions NixOS:0.2.0.0
Executables horname
Downloads 2881 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-07-14 [all 1 reports]

Readme for horname-0.2.0.0

[back to package description]

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.