[SMT-LIB] Extracting UTVPI Constraint Systems from SMT-LIB Benchmarks

[Johannes Waldmann]

Hi,

There's also https://hackage.haskell.org/package/smt-lib-0.0.2
which has a parser. (Actually, you should use
https://github.com/jwaldmann/smt-lib - this makes it compile with
current ghc
and fixes a printer performance issue)

There is more SMT-related stuff on hackage, e.g. smtlib2, sbv,
( https://hackage.haskell.org/packages/search?terms=smt )
but I'm not sure they do full parsing - mostly,
they just write SMTLIB format to send something to a solver,
and parse answers/models only.

- J.