An SMT-LIB v2 parser using FParsec
F#
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
tests
Ast.fs
Benchmarks.fs
Demo.fsx
FParsec.dll
FParsecCS.dll
HISTORY.txt
LICENSE.txt
Parser.fs
README.txt
SMT2Parser.Tests.fsproj
SMT2Parser.fsproj
SMT2Parser.sln
SMTLIBTutorial.pdf
TestScript.fsx
Tests.fs
smt-lib-reference-v2.0-r10.12.21.pdf
xunit.dll

README.txt

SMT2Parser is a minimal SMT-LIB v2 parser written in F# using the parser combinator library FParsec.

Current status:
- Support basic commands and scripts.
- Parsed successfully around 40000 benchmarks from smtlib.org.
- Need to manually increase stack space limit to avoid stackoverflow.

- Currently not support theory declaration.
- Currently not support logic declaration.
- Currently not support command responses.