z3tracer-0.9.0
- z3tracer 0.9.0
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Documentation
- Repository
- crates.io
- Source
- Owners
- matbd
- Dependencies
- smt2parser ^0.2.0 normal
  structopt ^0.3.12 normal
  thiserror ^1.0.24 normal
- Versions
- 39.38% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Module model

Structs

Module z3tracer::model[−][src]

Main analyzer module.

Structs

Model	Main state of the Z3 tracer.
QuantInstanceData	Information on a quantifier instance.
TermData	Information on a term in the model.