sexpr-parser alternatives and similar packages
Based on the "Command Line" category
Do you think we are missing an alternative of sexpr-parser or a related project?
S-expression parser in Haskell
Run Z3 demo
The [Z3 demo](z3-demo/Main.hs) 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
*Note that all licence references and agreements mentioned in the sexpr-parser README section above are relevant to that project's source code only.