z3-sys-0.10.4
- z3-sys 0.10.4
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- fitzgen
- waywardmonkeys
- graydon
- sameer
- toolCHAINZ
- Dependencies
- bindgen ^0.72 build
  cmake ^0.1.54 build optional
  pkg-config ^0.3.32 build
  reqwest ^0.12.22 build optional
  serde_json ^1.0.140 build optional
  vcpkg ^0.2.15 build optional
  zip ^4.3 build optional
- Versions
- 95.92% of the crate is documented
Platform
- aarch64-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Z3_probe_dec_ref

z3_sys0.10.4

Function Z3_probe_dec_ref

pub unsafe extern "C" fn Z3_probe_dec_ref(c: Z3_context, p: Z3_probe)

Expand description

Decrement the reference counter of the given probe.