Description
Simple s-expression parser.
Description
This package provides a simple Megaparsec-based s-expression parser.
README.md
sexpr-parser
S-expression parser in Haskell
Description
This is a Megaparsec-based parser for s-expressions, heavily inspired by lispparser. I'm building this to parse SMT-LIB v2 output from Z3, so there.
Run Z3 demo
The Z3 demo parses SMT-LIB v2 output from Z3. The executable assumes that you have Z3 installed and the z3
executable available on your system search path:
stack build --fast --exec sexpr-parser-z3-demo