horname

Rename function definitions returned by SMT solvers https://github.com/cocreature/horname#readme

Latest on Hackage:0.1.3.0

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD3 licensed by Moritz Kiefer
Maintained by value

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.

comments powered byDisqus