mstlo-python 0.1.0__cp314-cp314-win_amd64.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- mstlo_python/__init__.py +11 -0
- mstlo_python/mstlo_python.cp314-win_amd64.pyd +0 -0
- mstlo_python/mstlo_python.pyi +1022 -0
- mstlo_python-0.1.0.dist-info/METADATA +80 -0
- mstlo_python-0.1.0.dist-info/RECORD +7 -0
- mstlo_python-0.1.0.dist-info/WHEEL +4 -0
- mstlo_python-0.1.0.dist-info/sboms/mstlo-python.cyclonedx.json +586 -0
|
@@ -0,0 +1,80 @@
|
|
|
1
|
+
Metadata-Version: 2.4
|
|
2
|
+
Name: mstlo-python
|
|
3
|
+
Version: 0.1.0
|
|
4
|
+
Classifier: Programming Language :: Rust
|
|
5
|
+
Classifier: Programming Language :: Python :: 3.8
|
|
6
|
+
Classifier: Programming Language :: Python :: 3.9
|
|
7
|
+
Classifier: Programming Language :: Python :: 3.10
|
|
8
|
+
Classifier: Programming Language :: Python :: 3.11
|
|
9
|
+
Classifier: Programming Language :: Python :: 3.12
|
|
10
|
+
Classifier: Programming Language :: Python :: 3.13
|
|
11
|
+
Classifier: Programming Language :: Python :: 3.14
|
|
12
|
+
Classifier: Programming Language :: Python :: Implementation :: CPython
|
|
13
|
+
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
|
|
14
|
+
Requires-Dist: mkdocs-material>=9.5 ; extra == 'docs'
|
|
15
|
+
Requires-Dist: mkdocstrings-python>=0.24 ; extra == 'docs'
|
|
16
|
+
Provides-Extra: docs
|
|
17
|
+
Summary: Python bindings for the mstlo online Signal Temporal Logic (STL) monitoring library.
|
|
18
|
+
Keywords: signal temporal logic,stl,monitoring,runtime verification,online monitoring,temporal logic
|
|
19
|
+
Author-email: Andreas Kaag Thomsen <akt@ece.au.dk>, Niels Viggo Stark Madsen <nielsviggostark@gmail.com>
|
|
20
|
+
License: INTO-CPS Association Public License v1.0
|
|
21
|
+
Requires-Python: >=3.8
|
|
22
|
+
Description-Content-Type: text/markdown
|
|
23
|
+
Project-URL: Documentation, https://INTO-CPS-Association.github.io/mstlo/
|
|
24
|
+
Project-URL: Homepage, https://github.com/INTO-CPS-Association/mstlo
|
|
25
|
+
Project-URL: Repository, https://github.com/INTO-CPS-Association/mstlo
|
|
26
|
+
|
|
27
|
+
# mstlo Python (`mstlo-python`)
|
|
28
|
+
|
|
29
|
+
Python bindings for mstlo, the `mstlo` online Signal Temporal Logic (STL) monitoring engine.
|
|
30
|
+
|
|
31
|
+
- PyPI package: `mstlo-python`
|
|
32
|
+
- Python import name: `mstlo_python`
|
|
33
|
+
- Rust core crate: `mstlo`
|
|
34
|
+
|
|
35
|
+
## What this package provides
|
|
36
|
+
|
|
37
|
+
`mstlo-python` exposes the high-performance Rust monitoring engine through a Pythonic API so you can parse STL formulas and evaluate streaming signals from Python applications and notebooks.
|
|
38
|
+
|
|
39
|
+
Supported monitoring semantics include:
|
|
40
|
+
|
|
41
|
+
- Delayed Qualitative
|
|
42
|
+
- Delayed Quantitative
|
|
43
|
+
- Eager Qualitative
|
|
44
|
+
- RoSI (Robust Satisfaction Intervals)
|
|
45
|
+
|
|
46
|
+
## Installation
|
|
47
|
+
|
|
48
|
+
From PyPI:
|
|
49
|
+
|
|
50
|
+
```bash
|
|
51
|
+
pip install mstlo-python
|
|
52
|
+
```
|
|
53
|
+
|
|
54
|
+
## Quick Start
|
|
55
|
+
|
|
56
|
+
```python
|
|
57
|
+
import mstlo_python as mstlo
|
|
58
|
+
|
|
59
|
+
phi = mstlo.parse_formula("G[0, 10](x > 5)")
|
|
60
|
+
monitor = mstlo.Monitor(phi, semantics="DelayedQuantitative")
|
|
61
|
+
|
|
62
|
+
output = monitor.update("x", 6.0, 0.5)
|
|
63
|
+
print(output)
|
|
64
|
+
print(output.to_dict())
|
|
65
|
+
```
|
|
66
|
+
|
|
67
|
+
## Project links
|
|
68
|
+
|
|
69
|
+
- Repository: [github.com/INTO-CPS-Association/mstlo](https://github.com/INTO-CPS-Association/mstlo)
|
|
70
|
+
- Documentation: [INTO-CPS-Association.github.io/mstlo](https://INTO-CPS-Association.github.io/mstlo/)
|
|
71
|
+
- Rust API docs: [docs.rs/mstlo](https://docs.rs/mstlo)
|
|
72
|
+
|
|
73
|
+
## License
|
|
74
|
+
|
|
75
|
+
This package is distributed under the INTO-CPS Association Public License (ICAPL), with GPL v3 as a supported subsidiary mode. See `LICENSE` in the repository root and `ICA-USAGE-MODE.txt` for the selected mode.
|
|
76
|
+
|
|
77
|
+
## Developer notes
|
|
78
|
+
|
|
79
|
+
For local development, wheel building, and docs generation instructions, see the repository documentation.
|
|
80
|
+
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
mstlo_python/__init__.py,sha256=CfEQH_6O0pAVg5bqMWZz0stRzPfqLAi9eaC31xh8ik4,311
|
|
2
|
+
mstlo_python/mstlo_python.cp314-win_amd64.pyd,sha256=tjt5tp95molC3T-Zh-SqlyuONYu15S828bE8IVVFFSc,906752
|
|
3
|
+
mstlo_python/mstlo_python.pyi,sha256=z4vgoVal1aENkzRCZCDPpTjSQn4rA_IY6mIwS3LMHsc,32864
|
|
4
|
+
mstlo_python-0.1.0.dist-info/METADATA,sha256=jMdsqy0mVb2PqCkwxWfhyJdtdgEE55EnGL9z-KRDCAg,2953
|
|
5
|
+
mstlo_python-0.1.0.dist-info/WHEEL,sha256=-8PWMGIdzm64qPkQp3BBCKRYrNdxVMctHg9lV5GTSU4,97
|
|
6
|
+
mstlo_python-0.1.0.dist-info/sboms/mstlo-python.cyclonedx.json,sha256=p-8bBllA5W8aWFkpeRH4ScydnGBNhrLzbyh-rmeGyEg,55408
|
|
7
|
+
mstlo_python-0.1.0.dist-info/RECORD,,
|