z3-sys-0.8.1
- z3-sys 0.8.1
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- fitzgen
- waywardmonkeys
- graydon
- sameer
- toolCHAINZ
- Dependencies
- bindgen ^0.66.0 build
  cmake ^0.1.49 build optional
- Versions
- 95.87% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

z3_sys0.8.1

Type Alias Z3_ast_map

pub type Z3_ast_map = *mut _Z3_ast_map;

Expand description

Mapping from Z3_ast to Z3_ast objects.