Metadata-Version: 1.0
Name: metric-temporal-logic
Version: 0.1.3
Summary: A library for manipulating and evaluating metric temporal logic.
Home-page: http://github.com/mvcisback/py-metric-temporal-logic
Author: Marcell Vazquez-Chanlatte
Author-email: marcell.vc@eecs.berkeley.edu
License: MIT
Description: UNKNOWN
Platform: UNKNOWN
