Docs.rs
momba-explore-0.1.0
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
momba-explore 0.1.0
State space exploration engine for PTAs and MDPs augmented with variables.
Crate
Source
Builds
Feature flags
Documentation
Coverage
23.23%
46
out of
198
items documented
Links
Documentation
koehlma/momba
18
3
2
Crates.io
Dependencies
clock-zones ^0.1.1
normal
indexmap ^1.6.1
normal
itertools ^0.9.0
normal
num-traits ^0.2.12
normal
ordered-float ^2.0.1
normal
rayon ^1.5
normal
serde ^1.0.118
normal
Versions
0.1.1
0.1.0
Owners
Momba Explore