@hackage sexpr-parser0.1.1.0

Simple s-expression parser

Installation
In your cabal file:
Dependencies (3)
- base >=4.12 && <4.13
- parsec >=3.1 && <4.0
- megaparsec >=7.0 && <7.1
Dependents (1)
@hackage/nanopass

sexpr-parser

S-expression parser in Haskell

This is a Megaparsec-based parser for s-expression, heavily inspired by lispparser. I'm building this to parse SMT-LIB v2 output, so there.

The Z3 demo parses SMT-LIB v2 output from Z3. The executable assumes that you have Z3 installed and available on your system search path:

stack build --fast --exec sexpr-parser-z3-demo