Metadata-Version: 1.0
Name: py-aiger-ptltl
Version: 0.0.0
Summary: Library for generating (p)ast (t)ense (l)inear (t)emporal
(l)ogic monitors as aiger circuits.
Home-page: https://github.com/mvcisback/py-aiger-past-ltl
Author: Marcell Vazquez-Chanlatte
Author-email: marcell.vc@eecs.berkeley.edu
License: MIT
Description: UNKNOWN
Platform: UNKNOWN
