@hackage / sexpr-parser

Simple s-expression parser

Latest0.2.2.0

Metadata

Last updated 11 Mar 2022, by rcook
License MIT
Maintained by: rcook@rcook.org
Lottery factor: 0

Installation

Add this line in your cabal file

Readme

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

Licence

MIT License

About