smt2 (cargo): A SMT-LIB 2.6 parsing/formatting library for Rust
Keywords: smt|solver|smt-lib|parsing|smt2