A Python library for quantitative models.
Project description
Momba is still in its early stages of development. Please expect things to break. The API is unstable and might change without further notice and deprecation period.
Momba is a Python library for working with quantitative models. Momba’s core modeling formalism are networks of interacting stochastic hybrid automata (SHA) as per the JANI specification. Momba aims to be a platform for prototyping and the development of new techniques and algorithms for the analysis of quantitative models. For the time being, Momba does not aim to be a model checker itself. Instead, Momba relies on external tools for model checking via the JANI interaction protocol. In particular, Momba works well with The Modest Toolset and EPMC.
How to use Momba?
Please read the documentation.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file momba-0.1.4.dev0.tar.gz.
File metadata
- Download URL: momba-0.1.4.dev0.tar.gz
- Upload date:
- Size: 345.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.0.2 CPython/3.8.0 Windows/10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a078a65ca0f32dc89a375d9941e06e0c3d95854089a4c431063e3b4dcb9f0034
|
|
| MD5 |
be58eac2dc9f4bc827446f0d350966d4
|
|
| BLAKE2b-256 |
03eb6ae3e3efa65dfc6af327a04d6d98d55010680f093336b59793e4f48636aa
|
File details
Details for the file momba-0.1.4.dev0-py3-none-any.whl.
File metadata
- Download URL: momba-0.1.4.dev0-py3-none-any.whl
- Upload date:
- Size: 453.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.0.2 CPython/3.8.0 Windows/10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1c5de1661f2f3df6e5dcb284665c7cd66d32089785a167d8b04bedc5d54f55c3
|
|
| MD5 |
d3551441276e43c8aeed7b9bbed56119
|
|
| BLAKE2b-256 |
ce9696eac82e915bec49c9217eb1c5c0a0707e2646cc69fd7014528654c2953d
|
