{"library":"z3-sys","type":"library","category":null,"description":"Low-level bindings for the Z3 SMT solver from Microsoft Research.","language":"rust","status":"active","version":"0.11.0","tags":["z3","smt","solver","bindings","formal-verification"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nz3-sys = \"0.11.0\"","imports":["use z3_sys::Z3_context;"]},{"cmd":"cargo add z3-sys","imports":[]}],"homepage":"https://github.com/prove-rs/z3.rs","github":"https://github.com/prove-rs/z3.rs","docs":"https://docs.rs/z3-sys/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}