z3-0.12.1
- z3 0.12.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Documentation
- Repository
- Crates.io
- Source
- Owners
- fitzgen
- waywardmonkeys
- graydon
- sameer
- Dependencies
- log ^0.4 normal
  num ^0.4.0 normal
  z3-sys ^0.8 normal
  env_logger ^0.10 dev
  semver ^1 dev
- Versions
- 59% of the crate is documented
Platform
Feature flags

Rust

Module datatype_builder

Functions

Module z3::datatype_builder

Expand description

Helpers for building custom datatype sorts.

Functions

create_datatypes