smt2parser-0.2.0
- smt2parser 0.2.0
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Documentation
- Repository
- crates.io
- Source
- Owners
- matbd
- Dependencies
- fst ^0.4.5 normal
  num ^0.3.1 normal
  pomelo ^0.1.5 normal
  serde ^1.0.125 normal
  structopt ^0.3.12 normal
- Versions
- 9.73% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Type Definition Numeral

Type Definition smt2parser::Numeral[−][src]

type Numeral = BigUint;

SMT2 numeral values.