Metadata-Version: 1.1
Name: properties
Version: 1.0.2
Summary: Parser/Code generator for model checker properties
Home-page: http://taste.tuxfamily.org
Author: Maxime Perrotin
Author-email: maxime.perrotin@esa.int
License: UNKNOWN
Description: This directory contains the code for the TASTE Property Parser and code generator
        
        Install by typing:
            
            $ make install 
        
        You must first install opengeode, which is a required dependency
        
        Test your setup with:
        
            $ make test
        
        (c) European Space Agency, 2016
        Author: Maxime Perrotin
        
        
        
Platform: UNKNOWN
Classifier: Programming Language :: Python
Classifier: License :: OSI Approved :: GNU Lesser General Public License v3 (LGPLv3)
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 2.7
