smtliblib (npm): An SMTLIBv2 parser and AST
Keywords: smtlib|smtlibv2|parser|parse|ast|z3|solver