I’ve been playing with the Z3 prover over the last couple of weeks. I want to consume the output from the Haskell programs, so I hacked together an s-expression parser, namely sexpr-parser. It’s pretty bare-bones, but it gets the job done.
Update: 2019-02-09
I was asked why anybody would want to use this package. This is a good question. This, as with almost all my other packages on Hackage, is a personal package and nobody is compelled to use it. Furthermore, there are many other good s-expression parsers out there, e.g. S-Cargot, so please feel free to use these instead. However, the main characteristics of this package are as follows:
That’s it! I’ll update the README the next time I find myself working on this project. Thanks!
Content © 2023 Richard Cook. All rights reserved.