Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Cannot retrieve contributors at this time
S-expression parser in Haskell
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
Press h to open a hovercard with more details.