homepage: https://github.com/cocreature/horname#readme
changelog-type: ''
hash: 6c12243c75ceb3f7682d3ece1555153ecbf7fa288737bc55ee6b21e679ee1a4e
test-bench-deps: {}
maintainer: value
synopsis: Rename function definitions returned by SMT solvers
changelog: ''
basic-deps:
  these: ! '>=0.7 && <0.8'
  base: ! '>=4.9 && <5'
  text: ==1.2.*
  megaparsec: ! '>=5.0 && <5.2'
  uniplate: ! '>=1.6 && <1.7'
  containers: ! '>=0.5 && <0.6'
  wl-pprint-text: ! '>=1.1 && <1.2'
  horname: -any
  optparse-applicative: ! '>=0.12 && <0.14'
all-versions:
- '0.1.0.0'
author: Moritz Kiefer
latest: '0.1.0.0'
description-type: markdown
description: ! '# horname


  [![Build Status](https://travis-ci.com/cocreature/horname.svg?token=k5tv9VjJ9pj7ynzqQyjR&branch=master)](https://travis-ci.com/cocreature/horname)


  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.

'
license-name: BSD3

Update from Hackage at 2016-12-17T20:29:50Z
Update from Hackage at 2016-12-17T20:29:50Z
