smt2parser
This crate provides a generic parser for SMT2 commands, as specified by the SMT-LIB-2 standard.
Commands are parsed and immediately visited by a user-provided
implementation of the trait visitors::Smt2Visitor
.
To obtain concrete syntax values, use concrete::SyntaxBuilder
as a
visitor:
let input = b"(echo \"Hello world!\")(exit)";
let stream = new;
let commands = stream..unwrap;
assert!;
assert_eq!;
Contributing
See the CONTRIBUTING file for how to help out.
License
This project is available under the terms of either the Apache 2.0 license or the MIT license.