MIT licensed by Richard Cook
Maintained by [email protected]
This version can be pinned in stack with:sexpr-parser-0.1.1.2@sha256:e41930091ed1c8ccb026d2ad55efcc76306b8de833216b68137f08a08d3d606b,1637

Module documentation for 0.1.1.2

  • Text
    • Text.SExpression
      • Text.SExpression.Internal
      • Text.SExpression.Types
Used by 1 package in nightly-2019-06-02(full list with versions):

sexpr-parser

Travis branch Hackage Licence

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