{"library":"smt2parser","install":[{"cmd":"# Cargo.toml\n[dependencies]\nsmt2parser = \"0.6.1\"","imports":["use smt2parser::parse;"]},{"cmd":"cargo add smt2parser","imports":[]}]}