momba-explore
| Crates.io | momba-explore |
| lib.rs | momba-explore |
| version | 0.1.1 |
| created_at | 2021-01-06 10:34:36.373172+00 |
| updated_at | 2021-03-02 14:08:54.732282+00 |
| description | State space exploration engine for PTAs and MDPs augmented with variables. |
| homepage | |
| repository | https://github.com/koehlma/momba |
| max_upload_size | |
| id | 333011 |
| size | 102,043 |
Maximilian Köhl (koehlma)
documentation
https://docs.rs/momba-explore
README
Momba Explore
