Metadata-Version: 1.1
Name: gr1py
Version: 0.1.0
Summary: enumerative (or concrete) reactive synthesis tool for the GR(1) fragment of LTL
Home-page: https://github.com/slivingston/gr1py
Author: Scott C. Livingston
Author-email: slivingston@cds.caltech.edu
License: BSD
Description: UNKNOWN
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.6
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.4
