rsmt2-0.12.0
- rsmt2 0.12.0
- Docs.rs crate page
- MIT/Apache-2.0
- Links
- Homepage
- Documentation
- Repository
- Crates.io
- Source
- Owners
- AdrienChampion
- Dependencies
- error-chain ^0 normal
  clap ^2 dev
- Versions
- 93.33% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Constant rsmt2::conf::YICES_2_ENV_VAR[−][src]

pub const YICES_2_ENV_VAR: &str = "RSMT2_YICES_2_CMD";

Environment variable providing the command for Yices 2.