PyPI page
Home page
Author:
Marcell Vazquez-Chanlatte
License:
MIT
Summary:
Wrapper on metric-temporal-logic to implement signal temporal logic.
Latest version:
0.1.1
Required dependencies:
metric-temporal-logic
|
sympy
Downloads last day:
0
Downloads last week:
9
Downloads last month:
25