PyPI page
Home page
Author:
Marcell Vazquez-Chanlatte
License:
MIT
Summary:
Library for generating (p)ast (t)ense (l)inear (t)emporal (l)ogic monitors as aiger circuits.
Latest version:
3.1.2
Required dependencies:
py-aiger
Optional dependencies:
py-aiger-bv
Downloads last day:
0
Downloads last week:
37
Downloads last month:
108