z3-sys

library0.11.0rscratesunverified

Low-level bindings for the Z3 SMT solver from Microsoft Research.

# Cargo.toml
[dependencies]
z3-sys = "0.11.0"

github ↗homepage ↗docs ↗

INSTALL

IMPORT

SIG · Z3-SYS

z3-sys

otherrustv0.11.0

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

Z3_context

✓ use z3_sys::Z3_context;

Create a Z3 context using low-level bindings.

use z3_sys::Z3_context; fn main() { let cfg = unsafe { z3_sys::Z3_mk_config() }; let ctx = unsafe { z3_sys::Z3_mk_context(cfg) }; println!("Z3 context created"); }

Debug

Known issues

gotchaRequires the Z3 library installed on the system.

fix

Install Z3 via your package manager or build from source.

affects: >=0.11.0

Upgrade

Version history

0.11.0latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

27 hits · last 30 days

node

Resources

githubhttps://github.com/prove-rs/z3.rs ↗

homepagehttps://github.com/prove-rs/z3.rs ↗

docshttps://docs.rs/z3-sys/ ↗