modelator-0.4.2
- modelator 0.4.2
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Repository
- Crates.io
- Source
- Owners
- rnbguy
- andrey-kuprianov
- Dependencies
- clap ^3.0.6 normal
  clap_complete ^3.0.2 normal
  directories ^4.0.1 normal
  hex ^0.4.3 normal
  lazy_static ^1.4.0 normal
  nom ^7.1.0 normal
  once_cell ^1.9.0 normal
  rayon ^1.5.1 normal
  regex ^1.5.4 normal
  serde ^1.0.133 normal
  serde_json ^1.0.74 normal
  sha2 ^0.10.1 normal
  tempfile ^3.3.0 normal
  thiserror ^1.0.30 normal
  tracing ^0.1.29 normal
  tracing-subscriber ^0.3.5 normal
  ureq ^2.4.0 normal
  quickcheck ^1.0.3 dev
  quickcheck_macros ^1.0.0 dev
  shlex ^1.1.0 dev
- Versions
- 100% of the crate is documented
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

Rust

☰

Module model

Modules

Module modelator::model

source · [−]

Expand description

Model checkers and languages.

Modules

List of model checkers

List of model languages