18 lines
586 B
Markdown
18 lines
586 B
Markdown
<figure>
|
|
<img src="assets/logo_text.svg" alt="py-metric-temporal logic logo" width=300px>
|
|
<figcaption>
|
|
A library for manipulating and evaluating metric temporal logic.
|
|
</figcaption>
|
|
</figure>
|
|
|
|
|
|
[](https://travis-ci.org/mvcisback/py-metric-temporal-logic)
|
|
[](https://codecov.io/gh/mvcisback/py-metric-temporal-logic)
|
|
|
|
# Installation
|
|
|
|
`$ pip install metric-temporal-logic`
|
|
|
|
# About
|
|
|
|
# Usage
|