{"library":"z3-sys","install":[{"cmd":"# Cargo.toml\n[dependencies]\nz3-sys = \"0.11.0\"","imports":["use z3_sys::Z3_context;"]},{"cmd":"cargo add z3-sys","imports":[]}]}