Initial Release

This is the first release of the Python bindings for the Banquo offline temporal logic monitor. This release is an intentionally restricted subset of the full functionality of the library while we test different ways to improve performance and integrate ergonomically with Python.

The major design thrust of these bindings is to provide the same kind of metric flexibility that is supported in the Rust version. As a result, users are free to implement their own operators and expressions, and the library-provided implementations will be able to evaluate them as long as the metrics implement the required methods. These requirements are encoded in the type hints for the operators, and we strongly recommend using a type checker like Pyright, Mypy, or others to ensure proper usage. Error handling is on a best effort basis, and the 0.x versions of the library may still leak PanicException errors.

Provided expressions:

• Predicate

Provided operators:

• Not
• And
• Or
• Implies
• Next
• Always
• Eventually