@hackage / horname

Rename function definitions returned by SMT solvers

Latest0.2.0.0

Metadata

Last updated 14 Jul 2019, by cocreature
License BSD-3-Clause
Categories Web Development
Maintained by: value
Lottery factor: 0

Links

Homepage
Documentation
No source repository

Installation

Add this line in your cabal file

Tested Compilers

8.6.5

Readme

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.