No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
app
src/SMT
test
.gitignore
.travis.yml
LICENSE
README.md
Setup.hs
smt-pretty.cabal
stack.yaml

README.md

smt-pretty

Travis

Prettifier for the models produced by SMT solvers. Specifically, this provides the option to change how floating-point and bitvector values are displayed. For now, the focus is on Z3’s output format but I’m happy to accept PRs that add support for other solvers.